Christoph Haase
Home
Biography
Publications
Students
Contact
Geometric decision procedures and the VC dimension of linear arithmetic theories
Dmitry Chistikov
,
Christoph Haase
,
Alessio Mansutti
August 2022
PDF
Cite
Project
DOI
Type
Conference paper
Publication
Logic in Computer Science, LICS
Cite
×