Situated simplification

DOI10.1016/S0304-3975(96)00197-1zbMath0902.68035OpenAlexW2913005789MaRDI QIDQ1391936

Andreas Podelski, Gert Smolka

Publication date: 23 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00197-1

zbMATH Keywords

concurrent constraint programming

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Fundamental properties of infinite trees
• A feature constraint system for logic programming with entailment
• Automating control for logic programs
• Records for logic programming
• Unnamed Item

This page was built for publication: Situated simplification