Semantical analysis of specification logic
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 373-386
- https://doi.org/10.1007/3-540-15648-8_28
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Logic and StructurePublished by Springer Nature ,1983
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979
- Semantics of the Domain of Flow DiagramsJournal of the ACM, 1977
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A λ-CALCULUS APPROACHPublished by Elsevier ,1966
- Semantical Analysis of Intuitionistic Logic IPublished by Elsevier ,1965