Publication:4726218
From MaRDI portal
zbMath0617.03001MaRDI QIDQ4726218
Publication date: 1986
DB lookup for MSC labels failed
Related Items
ETPS, Data types with errors and exceptions, Unification under a mixed prefix, Universal abstract consistency class and universal refutation, Experimenting with Isabelle in ZF set theory, What holds in a context?, Combinatory reduction systems: Introduction and survey, A simple type theory with partial functions and subtypes, IMPS: An interactive mathematical proof system, A semantics for \(\lambda \)Prolog, Using tactics to reformulate formulae for resolution theorem proving, Computing verisimilitude, TPS: A theorem-proving system for classical type theory, Decidability of fluted logic with identity