An algebraic formulation of the Chomsky hierarchy

Authors:
Mitchell Wand
Affiliations:
-
Venue:
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
Year:
1974

Initial Algebra Semantics and Continuous Algebras

Journal of the ACM (JACM)
The Delta Operation: From Strings to Trees to Strings

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
The delta operation: from strings to trees to strings

Formal and natural computing
Higher-order multi-parameter tree transducers and recursion schemes for program verification

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model Checking Higher-Order Programs

Journal of the ACM (JACM)
Pumping by Typing

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Hi-index	0.00