One-Dimensional Logic over Words

DOI10.4230/LIPIcs.CSL.2016.38zbMath1370.03046OpenAlexW2548723278MaRDI QIDQ5278427

Emanuel Kieroński

Publication date: 19 July 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2016.38

zbMATH Keywords

wordssatisfiabilityexpressivityfragments of first-order logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Uniform guarded fragments ⋮ One-Dimensional Logic over Trees

This page was built for publication: One-Dimensional Logic over Words