scientific article; zbMATH DE number 2203952
From MaRDI portal
Publication:5315662
zbMath1076.03522MaRDI QIDQ5315662
Publication date: 9 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication:
