Situated simplification

DOI10.1016/S0304-3975(96)00197-1MaRDI QIDQ1391936zbMATH OpenOpenAlexFDO

Authors 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, https://hdl.handle.net/11858/00-001M-0000-000F-3A11-F

zbMATH Keywords

concurrent constraint programming

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Equational and membership constraints for infinite trees
• Finite and Rational Tree Constraints
• Truly concurrent constraint programming
• Lectures on Concurrency and Petri Nets
• Confluence in concurrent constraint programming

Cites work

• A feature constraint system for logic programming with entailment
• Automating control for logic programs
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 549955 (Why is no real title available?)
• Records for logic programming

Cited in

(1)

• Equational and membership constraints for infinite trees

This page was built for publication: Situated simplification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1391936)