scientific article
From MaRDI portal
Publication:3408149
zbMath1257.03033MaRDI QIDQ3408149
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57)
Related Items (1)
This page was built for publication: