Two-Variable Universal Logic with Transitive Closure
From MaRDI portal
Publication:4649561
DOI10.4230/LIPIcs.CSL.2012.396zbMath1252.03078OpenAlexW2258592034MaRDI QIDQ4649561
Emanuel Kieroński, Jakub Michaliszyn
Publication date: 22 November 2012
Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2012.396
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)
Related Items (2)
This page was built for publication: Two-Variable Universal Logic with Transitive Closure