644 search results - page 20 / 129 » Precedence Automata and Languages |
MFCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
ICGI
2000
Springer
15 years 3 months ago
2000
Springer
ITICSE
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...