Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 516986

From MaRDI portal
Publication:4282502
Jump to:navigation, search

zbMATH Open0793.68028MaRDI QIDQ4282502FDOQ4282502


Authors: Stefan Brüning Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4282502&oldid=18205610"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 18:24. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki