Sign in
Elements of an automata theory over partial orders.
Wolfgang Thomas
Published in:
Partial Order Methods in Verification (1996)
Keyphrases
</>
partial order
automata theory
partially ordered
graph theory
total order
learning theory
stable marriage
student learning
computer science
lattice structure
machine learning
preference relations
totally ordered
special case