scientific article; zbMATH DE number 2072508
From MaRDI portal
Publication:4467744
zbMath1041.03006MaRDI QIDQ4467744
Publication date: 10 June 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items