Well quasi-orders arising from finite ordered semigroups.

Ondrej Klíma Jonatan Kolegar

Published in: CoRR (2022)

Keyphrases

computer vision
real numbers
unit length
high level specifications
neural network
relational databases
hidden markov models
finite automata