scientific article; zbMATH DE number 1407682

MaRDI QIDQ4940937zbMATHFDO

Authors Agostino Dovier, Andrea Formisano, Alberto Policriti

Publication date 28 February 2000

zbMATH Keywords

\(T\) logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On computing logic programs
• scientific article; zbMATH DE number 176721
• scientific article; zbMATH DE number 910717
• scientific article; zbMATH DE number 4043305
• scientific article; zbMATH DE number 2079032
• scientific article; zbMATH DE number 4057054
• On the declarative and procedural semantics of logic programs
• On the expressiveness of temporal logic programming
• Tight semantics for logic programs
• scientific article; zbMATH DE number 2172804

Cited in

(2)

• On the relationship between TMS and logic programs
• A pearl on SAT and SMT solving in Prolog

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