scientific article; zbMATH DE number 554480

zbMATH Open0803.68012MaRDI QIDQ4288282FDOQ4288282

Authors: Egon Börger, Elvinia Riccobene 

Publication date: 2 January 1995

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Title not available (Why is that?)
• Notes on the implementation of PARLOG
• PARLOG: parallel programming in logic
• Title not available (Why is that?)
• Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types
• Title not available (Why is that?)
• Algebraic computational models of OR-parallel execution of Prolog

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)