A programming language for the inductive sets, and applications
- 1 January 1982
- book chapter
- Published by Springer Nature
- p. 313-329
- https://doi.org/10.1007/bfb0012779
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A note on equivalences among logics of programsPublished by Springer Nature ,1982
- Unbounded program memory adds to the expressive power of first-order dynamic logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Computable queries for relational data basesJournal of Computer and System Sciences, 1980
- Structure and complexity of relational queriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- Definability in Dynamic LogicPublished by Association for Computing Machinery (ACM) ,1980
- Universality of data retrieval languagesPublished by Association for Computing Machinery (ACM) ,1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Admissible Sets and StructuresPublished by Springer Nature ,1975
- A relational model of data for large shared data banksCommunications of the ACM, 1970