scientific article
From MaRDI portal
Publication:3981005
zbMath0749.03032MaRDI QIDQ3981005
Publication date: 26 June 1992
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)
This page was built for publication: