scientific article; zbMATH DE number 417880

zbMATH Open0781.68002MaRDI QIDQ3134859FDOQ3134859

Authors:

Publication date: 20 September 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 44853
• scientific article; zbMATH DE number 42489
• scientific article; zbMATH DE number 49488
• scientific article; zbMATH DE number 976352
• scientific article; zbMATH DE number 417877

zbMATH Keywords

type theoryequalityterm rewritingreasoningunificationlogic programmingfirst order logicmathematical inductionhigher order logicdeduction calculimodal and temporal logics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cited In (8)

• Equality and abductive residua for Horn clauses
• A mechanical proof of the Church-Rosser theorem
• Machine Deduction
• Reduction rules for resolution-based systems
• Title not available (Why is that?)
• A resolution principle for constrained logics
• Title not available (Why is that?)
• Lattice-ordered groups in deduction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3134859)