scientific article; zbMATH DE number 7269244
From MaRDI portal
Publication:5129940
Paritosh K. Pandya, Howard Straubing, Kamal Lodaya, Andreas Krebs
Publication date: 3 November 2020
Full work available at URL: https://arxiv.org/abs/1902.05905
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
How many times do you need to go back to the future in unary temporal logic? ⋮ Reversible Regular Languages: Logical and Algebraic Characterisations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Definability with bounded number of bound variables
- Some results on the dot-depth hierarchy
- A generalization of finiteness
- Sur le produit de concatenation non ambigu
- Reasoning about infinite computations
- Finite semigroup varieties of the form V*D
- First-order logic with two variables and unary temporal logic
- Dot-depth of star-free events
- Two variable first-order logic over ordered domains
- Temporal Logics in Computer Science
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
- Counting CTL
- Around Dot Depth Two
- The complexity of propositional linear temporal logics
- A really temporal logic
- Two-variable Logic with a Between Relation
- A SYNTACTICAL PROOF OF LOCALITY OF DA
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
- On finite monoids having only trivial subgroups
This page was built for publication:
