On the structural simplicity of machines and languages
- 1 September 1995
- journal article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 15 (3-4) , 379-405
- https://doi.org/10.1007/bf01536402
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Fixpoint logics, relational machines, and computational complexityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the expressive power of programming languagesPublished by Springer Nature ,1990
- Expressiveness of restricted recursive queriesPublished by Association for Computing Machinery (ACM) ,1989
- Fully abstract compositional semantics for logic programsPublished by Association for Computing Machinery (ACM) ,1989
- On the existence of symmetric algorithms to find leaders in networks of communicating sequential processesActa Informatica, 1988
- AlternationJournal of the ACM, 1981
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- AlternationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Program Schemes with Pushdown StoresSIAM Journal on Computing, 1972
- On Classes of Program SchemataSIAM Journal on Computing, 1972