scientific article; zbMATH DE number 3958697

MaRDI QIDQ3727352zbMATH OpenFDO

Authors Giorgio Levi

Publication date 1986

zbMATH Keywords

Concurrent Prologparallel logic programsperpetual processesread-onlysemantics of concurrency in logic programmingstreamsvariables

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3958700
• scientific article; zbMATH DE number 879003
• scientific article; zbMATH DE number 4072431
• Conclog: a methodological approach to concurrent logic programming
• Theoretical Foundations and Semantics of Logic Programming

Cited in

(13)

• Semantic models for concurrent logic languages
• Conclog: a methodological approach to concurrent logic programming
• Concurrency and backtracking in Vienna Parallel Logic
• scientific article; zbMATH DE number 3878341 (Why is no real title available?)
• scientific article; zbMATH DE number 3958700 (Why is no real title available?)
• scientific article; zbMATH DE number 714466 (Why is no real title available?)
• An interactive semantics of logic programming
• scientific article; zbMATH DE number 1834565 (Why is no real title available?)
• scientific article; zbMATH DE number 879003 (Why is no real title available?)
• Role of logic programming in the FGCS project
• scientific article; zbMATH DE number 970730 (Why is no real title available?)
• The deevolution of concurrent logic programming languages
• Finite failures and partial computations in concurrent logic languages

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