scientific article; zbMATH DE number 1563993
From MaRDI portal
Publication:4528813
zbMATH Open0960.01016MaRDI QIDQ4528813
N. S. Romanovskij, Ivan Shestakov, S. S. Goncharov, Victor Mazurov, V. K. Kharchenko
Publication date: 12 February 2001
Full work available at URL: https://eudml.org/doc/187920
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Birthdaydynamic logicsemantic programmingdecidability of an elementary theorySiberian school of algebra and logic
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)
Related Items (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4528813)