scientific article
From MaRDI portal
Publication:3134859
zbMath0781.68002MaRDI QIDQ3134859
No author found.
Publication date: 20 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reasoningunificationlogic programmingterm rewritingequalitytype theorymathematical inductionfirst order logichigher order logicdeduction calculimodal and temporal logics
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Related Items (3)
A resolution principle for constrained logics ⋮ Reduction rules for resolution-based systems ⋮ Equality and abductive residua for Horn clauses
This page was built for publication:
