Similar Items: Expressiveness and Closure Properties for Quantitative Languages
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
- Congruence Closure Modulo Groups
- Safety and Liveness of Quantitative Properties and Automata
- On Bisimilarity for Quasi-discrete Closure Spaces
- Quantitative Languages Defined by Functional Automata
- Model Checking Spatial Logics for Closure Spaces