scientific article; zbMATH DE number 516986

zbMATH Open0793.68028MaRDI QIDQ4282502FDOQ4282502

Authors: Stefan Brüning 

Publication date: 21 August 1994

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

Recommendations

• scientific article; zbMATH DE number 475191
• On the existence of nonterminating queries for a restricted class of PROLOG-clauses
• Publication:4506391
• Termination of logic programs: the never-ending story
• scientific article; zbMATH DE number 1948416

zbMATH Keywords

formal languagesautomated theorem provinglogic programmingSLD-derivation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17)

Cited In (3)

• Detecting non-provable goals
• \textsf{Ko\(_{\mathsf{M}}\)eT}
• Knowledge Discovery in Inductive Databases

Uses Software

• SETHEO

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 Q4282502)