Tractable constraints in finite semilattices
From MaRDI portal
Publication:1818076
DOI10.1016/S0167-6423(99)00011-8zbMath0948.68017OpenAlexW2005978190MaRDI QIDQ1818076
Jakob Rehof, Torben Ægidius Mogensen
Publication date: 4 January 2000
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(99)00011-8
Related Items
OntCheck: an ontology-driven static correctness checking tool for component-based models, On assertion-based encapsulation for object invariants and simulations, Tractable constraints in finite semilattices, The design and application of structured types in Ptolemy II, Streett Automata Model Checking of Higher-Order Recursion Schemes