Theory of partial-order programming

DOI10.1016/S0167-6423(98)00018-5zbMath0939.68073OpenAlexW2072887188MaRDI QIDQ1806132

Bharat Jayaraman, Mauricio Osorio, David Alan Plaisted

Publication date: 27 June 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(98)00018-5

zbMATH Keywords

declarative programmingpartial-order clauses

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Logic programming with solution preferences ⋮ A general theory of confluent rewriting systems for logic programming and its applications ⋮ Modality Argumentation Programming

This page was built for publication: Theory of partial-order programming