On the elementary theory of linear order
From MaRDI portal
Cited in
(34)- The expressive power of Malitz quantifiers for linear orderings
- The Boolean algebra of the theory of linear orders
- Theories of linear order
- The complete finitely axiomatized theories of order are dense
- The complexity of the temporal logic with ``until over general linear time
- Decidable fragments of first-order temporal logics
- A verified decision procedure for orders in Isabelle/HOL
- Synthesis for continuous time
- Decision methods for linearly ordered Heyting algebras
- On the theory of convex subsets
- Complexity of monodic guarded fragments over linear and real time
- Ehrenfeucht-Fraïssé games on ordinals
- Time warps, from algebra to algorithms
- On frontiers of regular trees
- Stationary Logic and Ordinals
- Temporal logics over linear time domains are in PSPACE
- An algebraic approach to MSO-definability on countable linear orderings
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.
- On expressive power of regular expressions over infinite orders
- Algorithmic uses of the Feferman-Vaught theorem
- Euclidean algorithm for a class of linear orders
- Deciding Equations in the Time Warp Algebra
- Universal first-order quantification over automata
- The complexity of temporal logic over the reals
- On the order types of hammocks for domestic string algebras
- Hammocks for non-domestic string algebras
- Non-emptiness test for automata over words indexed by the reals and rationals
- Universal first-order quantification over automata
- Left absorption in products of countable orders
- A note on the theory of well orders
- On the theory of order over real numbers
- Deciding reachability in automata on words indexed by the reals and rationals
- New proof of the solvability of the elementary theory of linearly ordered sets
- On quantifier-rank equivalence between linear orders
This page was built for publication: On the elementary theory of linear order
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5536269)
