Similar Items: Deciding Equations in the Time Warp Algebra
- Deciding Kleene Algebras in Coq
- Algebra, coalgebra, and minimization in polynomial differential equations
- Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
- Dynamic Sub-Sequence Warping: A Representation-Based Similarity Measure for Long Time Series
- Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy