Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

DOI10.1007/B103476zbMath1115.68367OpenAlexW2506046183MaRDI QIDQ5463948

Claude Kirchner, Hélène Kirchner

Publication date: 17 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b103476

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

A \(\rho\)-calculus of explicit constraint application

Uses Software

• Maude
• CARIBOO
• Unnamed Item
• Unnamed Item

This page was built for publication: Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making