scientific article; zbMATH DE number 7533353

DOI10.4230/LIPIcs.CSL.2018.28MaRDI QIDQ5079753

Howard Straubing, Paritosh K. Pandya, Andreas Krebs, Kamal Lodaya

Publication date: 28 May 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite model theoryalgebraic automata theorytwo-variable logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of finiteness
• Sur le produit de concatenation non ambigu
• Finite semigroup varieties of the form V*D
• First-order logic with two variables and unary temporal logic
• Dot-depth of star-free events
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
• The complexity of propositional linear temporal logics
• 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: