LPF and MPLω — A logical comparison of VDM SL and COLD-K
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 279-308
- https://doi.org/10.1007/3-540-54834-3_18
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- An introduction to COLD-KPublished by Springer Nature ,2005
- A first order logic for partial functionsTheoretical Computer Science, 1990
- Towards a computation system based on set theoryTheoretical Computer Science, 1988
- A three-valued logic for software specification and validationPublished by Springer Nature ,1988
- Free LogicsPublished by Springer Nature ,1986
- Partial LogicPublished by Springer Nature ,1986
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- A logic covering undefinedness in program proofsActa Informatica, 1984
- Descriptions in mathematical logicStudia Logica, 1984
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979