Partial functions in a total setting

DOI10.1023/A:1005702928286zbMath0870.68136MaRDI QIDQ679251

John Longley, Simon Finn, Michael Paul Fourman

Publication date: 7 September 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

partial recursive functionsmechanical theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

A two-valued logic for properties of strict functional programs allowing partial functions ⋮ Partiality and recursion in interactive theorem provers – an overview ⋮ Partial and nested recursive function definitions in higher-order logic