scientific article; zbMATH DE number 554480

MaRDI QIDQ4288282zbMATHFDO

Authors Egon Börger, Elvinia Riccobene

Publication date 2 January 1995

zbMATH Keywords

parallelismspecificationparallel logic programming languagemathematical semanticsPARLOG

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Publication:4723274
• Paraconsistent logic programming
• scientific article; zbMATH DE number 4026795
• scientific article; zbMATH DE number 1931672
• scientific article; zbMATH DE number 4176425
• scientific article; zbMATH DE number 4128792
• Paraconsistent declarative semantics for extended logic programs
• Logics of specification languages
• scientific article; zbMATH DE number 2237358
• An encompassing framework for paraconsistent logic programs

Cited in

(7)

• scientific article; zbMATH DE number 3878341 (Why is no real title available?)
• scientific article; zbMATH DE number 3997139 (Why is no real title available?)
• Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types
• Algebraic computational models of OR-parallel execution of Prolog
• Notes on the implementation of PARLOG
• PARLOG: parallel programming in logic
• scientific article; zbMATH DE number 3995023 (Why is no real title available?)

Describes a project that uses

Uses Software

• PARLOG

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