Monadic second-order logics with cardinalities
From MaRDI portal
Recommendations
- Monadic second order finite satisfiability and unbounded tree-width
- Expansions of MSO by cardinality relations
- Expressing cardinality quantifiers in monadic second-order logic over chains
- Cardinality logics. Part II: Definability in languages based on ‘exactly’
- Cardinality Quantifiers in MLO over Trees
Cited in
(57)- Logical laws for existential monadic second-order sentences with infinite first-order parts
- ``Most of leads to undecidability: failure of adding frequencies to LTL
- Capacitated automata and systems
- On the conjecture \(\mathcal {L}_{\mathsf {DFCM}}\subsetneq \mathsf {RCM}\)
- A positive extension of Eilenberg's variety theorem for non-regular languages
- Expansions of MSO by cardinality relations
- Asymptotic Monadic Second-Order Logic
- Expressing cardinality quantifiers in monadic second-order logic over chains
- On the Almighty Wand
- Combining theories with shared set operations
- Cardinality logics. Part II: Definability in languages based on ‘exactly’
- On the almighty wand
- scientific article; zbMATH DE number 1138595 (Why is no real title available?)
- scientific article; zbMATH DE number 2079025 (Why is no real title available?)
- Monadic Second Order Logic with Measure and Category Quantifiers
- Decision procedure for an extension of WS1S
- Regular separability of one counter automata
- scientific article; zbMATH DE number 7360013 (Why is no real title available?)
- Verifying quantitative temporal properties of procedural programs
- scientific article; zbMATH DE number 7559422 (Why is no real title available?)
- Tree automata with global constraints for infinite trees
- On Reachability Problems for Low-Dimensional Matrix Semigroups
- Querying best paths in graph databases
- Modular path queries with arithmetic
- Quantitative Monadic Second-Order Logic
- Magnitude monadic logic over words and the use of relative internal set theory
- Monadic second order finite satisfiability and unbounded tree-width
- Monadic second-order logic on finite sequences
- A pattern logic for automata with outputs
- Projection for Büchi Tree Automata with Constraints between Siblings
- Weak cardinality theorems for first-order logic (extended abstract)
- Synchronization of Parikh automata
- scientific article; zbMATH DE number 7770050 (Why is no real title available?)
- State Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAs
- Jumping automata over Infinite words
- On the existential arithmetics with addition and bitwise minimum
- Unboundedness problems for machines with reversal-bounded counters
- Reasoning about emergence of collective memory
- Reasoning on data words over numeric domains
- Jumping automata over infinite words
- Global one-counter tree automata
- Weakly-unambiguous Parikh automata and their link to holonomic series
- Decidable (ac)counting with Parikh and Muller: adding Presburger arithmetic to monadic second-order logic over tree-interpretable structures
- Remarks on Parikh-recognizable omega-languages
- Quantitative semantics for jumping automata
- As soon as possible but rationally
- Parikh one-counter automata
- History-deterministic Parikh automata
- Jumping automata must pay
- Non-global Parikh tree automata
- Counter machines with infrequent reversals
- History-deterministic Parikh automata
- The algebraic theory of Parikh automata
- On a class of languages with holonomic generating functions
- The complexity of separability for semilinear sets and Parikh automata
- Synchronization of Parikh automata
- XML schema, tree logic and sheaves automata
This page was built for publication: Monadic second-order logics with cardinalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449212)
