Avoiding the undefined by underspecification
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 366-373
- https://doi.org/10.1007/bfb0015254
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Partial functions and logics: A warningInformation Processing Letters, 1995
- Equational propositional logicInformation Processing Letters, 1995
- A typed logic of partial functions reconstructed classicallyActa Informatica, 1994
- A Logical Approach to Discrete MathPublished by Springer Nature ,1993
- Semantics of Quasi-Boolean ExpressionsPublished by Springer Nature ,1990
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990