scientific article; zbMATH DE number 845472
From MaRDI portal
zbMath0852.03016MaRDI QIDQ4865517
Publication date: 26 February 1996
Full work available at URL: https://eudml.org/doc/47540
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)
Cites Work