Well defined B
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- A simple sequent calculus for partial functionsTheoretical Computer Science, 1993
- Partial logics reconsidered: A conservative approachFormal Aspects of Computing, 1993
- Weak logic theoryTheoretical Computer Science, 1991
- A first order logic for partial functionsTheoretical Computer Science, 1990
- A three-valued logic for software specification and validationPublished by Springer Nature ,1988
- A logic covering undefinedness in program proofsActa Informatica, 1984