A note on guarded theories
- 1 January 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 70 (1) , 73-83
- https://doi.org/10.1016/0304-3975(90)90153-9
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A Cayley Theorem for Boolean AlgebrasThe American Mathematical Monthly, 1990
- Vector Iteration in Pointed Iterative TheoriesSIAM Journal on Computing, 1980
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration OperationSIAM Journal on Computing, 1980