Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C.-H.L. Ong
Collapsible Pushdown Automata and Recursion Schemes
Proceedings - Symposium on Logic in Computer Science
Mathematics
Software
Related publications
Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
From Security Protocols to Pushdown Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Program Schemes With Pushdown Stores
SIAM Journal on Computing
Mathematics
Computer Science
The Quotient Operation on Input-Driven Pushdown Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Theory of Complexity of Monadic Recursion Schemes
RAIRO. Informatique théorique
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata
IFAC Proceedings Volumes
Recursion and Double Recursion
Bulletin of the American Mathematical Society
