scientific article; zbMATH DE number 6273744
From MaRDI portal
Publication:5403019
zbMath1283.68275arXiv1204.5368MaRDI QIDQ5403019
Manfred Kufleitner, Alexander Lauser
Publication date: 25 March 2014
Full work available at URL: https://arxiv.org/abs/1204.5368
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy ⋮ How many times do you need to go back to the future in unary temporal logic? ⋮ Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups
This page was built for publication: