Formal computations of non deterministic recursive program schemes
- 1 December 1979
- journal article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 13 (1) , 219-236
- https://doi.org/10.1007/bf01744297
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Nondeterminism in logics of programsPublished by Association for Computing Machinery (ACM) ,1978
- IO and OI. IJournal of Computer and System Sciences, 1977
- Mots infinis engendrés par une grammaire algébriqueRAIRO. Informatique théorique, 1977
- Non deterministic recursive program schemesLecture Notes in Computer Science, 1977
- On backtracking and greatest fixpointsPublished by Springer Nature ,1977
- Algebraic families of interpretationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- The correctness of nondeterministic programsArtificial Intelligence, 1970
- Grammars with macro-like productionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1968
- Nondeterministic AlgorithmsJournal of the ACM, 1967