Similar Items: An $omega$-Algebra for Real-Time Energy Problems
- On Free $omega$-Continuous and Regular Ordered Algebras
- Query learning of derived $omega$-tree languages in polynomial time
- The Algebraic Intersection Type Unification Problem
- A Ghost at $omega_1$
- Universal Algebraic Methods for Constraint Satisfaction Problems
- Ambiguity of {omega}-Languages of Turing Machines