Computer Science Logic

DOI10.1007/b13224zbMath1116.03326OpenAlexW2623947920MaRDI QIDQ5292667

Nikolaj N. jun. Vorob'ev

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: Computer Science Logic