Sciweavers

2465 search results - page 41 / 493
» Automata on Linear Orderings
Sort
View
LICS
1997
IEEE
15 years 7 months ago
Linear Higher-Order Pre-Unification
Iliano Cervesato, Frank Pfenning
ICALP
2010
Springer
15 years 7 months ago
Linear Orders in the Pushdown Hierarchy
Laurent Braud, Arnaud Carayol
CORR
2010
Springer
45views Education» more  CORR 2010»
15 years 4 months ago
Algebraic Linear Orderings
Stephen L. Bloom, Zoltán Ésik