Levationis Laus

DOI10.1093/LOGCOM/3.5.487zbMATH Open0807.03004OpenAlexW4248512189MaRDI QIDQ4286221FDOQ4286221

Authors: Kees Doets 

Publication date: 27 April 1994

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.5.487

Recommendations

• scientific article; zbMATH DE number 3872640
• On the completeness of SLDENF-resolution
• A direct proof of the completeness of SLDNF-resolution
• A completeness theorem for SLDNF resolution
• A note on SLDNF-resolution

zbMATH Keywords

inferencecompletenessliftingsheavesunificationterminationSLD-resolutiongreatest fixed-points

Mathematics Subject Classification ID

Logic programming (68N17) Mechanization of proofs and logical operations (03B35)

Cited In (6)

• Soundness and completeness versus lifting property
• A framework for computing finite SLD trees
• A full formalization of SLD-resolution in the calculus of inductive constructions
• Leaping shampoo
• Vervaat et Lévy
• Title not available (Why is that?)

This page was built for publication: Levationis Laus

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