scientific article; zbMATH DE number 936828

MaRDI QIDQ4896256zbMATH OpenFDO

Authors Doina Tatar

Publication date 20 October 1996

zbMATH Keywords

logical grammar

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• Grammar-related transformations of logic programs
• Unfold/fold transformations of logic programs
• Unfold⧸fold transformation of general logic programs for the well-founded semantics
• Synthesis and transformation of logic programs using unfold/fold proofs
• Transformations of logic programs
• Transformations of logic programs
• scientific article; zbMATH DE number 176531
• Publication:4896257
• scientific article; zbMATH DE number 4180778
• Unfold/fold transformations for disjunctive logic programs

Cited in

(1)

• scientific article; zbMATH DE number 4180778 (Why is no real title available?)

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