Action logic and pure induction
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 97-120
- https://doi.org/10.1007/bfb0018436
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- On kleene algebras and closed semiringsPublished by Springer Nature ,2005
- Temporal structuresPublished by Springer Nature ,2005
- Linear logicTheoretical Computer Science, 1987
- Varieties of relation algebrasAlgebra universalis, 1982
- Dynamic algebras and the nature of inductionPublished by Association for Computing Machinery (ACM) ,1980
- Models of program logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Review of the elements of 2-categoriesPublished by Springer Nature ,1974
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- Algorithm 97: Shortest pathCommunications of the ACM, 1962
- Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 1951