scientific article; zbMATH DE number 675534

MaRDI QIDQ4311531zbMATH OpenFDO

Authors

Publication date 27 October 1994

zbMATH Keywords

disjunctive logic programsHorn logic programmingLogic programmingProceedingsSan Diego, CA (USA)semanticssorting proceduresSymposiumtemporal debuggingvisual animationWarren abstract machine

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Reliability, testing and fault tolerance of networks and computer systems (68M15) Logic programming (68N17) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 992295
• scientific article; zbMATH DE number 3872640
• scientific article; zbMATH DE number 52484
• scientific article; zbMATH DE number 1511627
• Unifying theories for logic programming

Cited in

(2)

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