Partial order programming (Revisited)

DOI10.1007/3-540-60043-4_78zbMath1496.68111OpenAlexW1608776253MaRDI QIDQ5096407

Mauricio Osorio, Kyonghee Moon, Bharat Jayaraman

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_78

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A general theory of confluent rewriting systems for logic programming and its applications

Cites Work

• The integration of functions into logic programming: From theory to practice
• Subset-logic programs and their implementation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial order programming (Revisited)