scientific article; zbMATH DE number 1954387

zbMATH Open1027.03007MaRDI QIDQ4415258

Konstantin Korovin, Andrei Voronkov

Publication date: 28 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2556/25560230.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Definability by constant-depth polynomial-size circuits ⋮ Unnamed Item

This page was built for publication: