scientific article; zbMATH DE number 7566055
From MaRDI portal
Publication:5094127
Thomas Zeume, Szymon Toruńczyk
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2101.03866
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Elements of finite model theory.
- The monadic theory of order
- Finite-memory automata
- On logics with two variables
- Two variable first-order logic over ordered domains
- Decidability Issues for Two-Variable Logics with Several Linear Orders
- Small substructures and decidability issues for first-order logic with two variables
- Two-variable logic on data trees and XML reasoning
- Factorization Forests
- On languages with two variables
- On the Decision Problem for Two-Variable First-Order Logic
- Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
- Order-Invariance of Two-Variable Logic is Decidable
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
- Logics for Word Transductions with Synthesis
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- Two-Variable Logic with Counting and Trees
- Finite state machines for strings over infinite alphabets
- Two-Variable Logic with Two Order Relations
