scientific article; zbMATH DE number 1482189

MaRDI QIDQ4492860zbMATH OpenFDO

Authors Slaviša B. Prešić

Publication date 27 July 2000

Full work available at URL https://eudml.org/doc/120464

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

clauselogic programming

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1200168
• scientific article; zbMATH DE number 4164124
• scientific article; zbMATH DE number 1453079
• scientific article; zbMATH DE number 970715
• Complete extension of general logic programs
• Programming by combining general logic programs
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Extensions to logic programming motivated by the construction of a generic theorem prover
• scientific article; zbMATH DE number 4160108
• Generalized semantics and abstract interpretation for constraint logic programs

Cited in

(2)

• scientific article; zbMATH DE number 3984612 (Why is no real title available?)
• scientific article; zbMATH DE number 1200168 (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 Q4492860)