scientific article; zbMATH DE number 4028939

MaRDI QIDQ3769992zbMATH OpenFDO

Authors Takashi Yokomori

Publication date 1986

zbMATH Keywords

formal languagegenerator programlogic programmingPrologrepresentation of logic programssuccess language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logic Programs for Primitive Recursive Sets
• scientific article; zbMATH DE number 4057010
• Logic program forms
• Circumscription and projection as primitives of logic programming
• scientific article; zbMATH DE number 3890698

Cited in

(7)

• Logic program forms
• Circumscription and projection as primitives of logic programming
• Primal Infon Logic: Derivability in Polynomial Time
• Calculability and logic programs
• scientific article; zbMATH DE number 4033135 (Why is no real title available?)
• Logic Programs for Primitive Recursive Sets
• Logic representation in LF

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