Login / Signup
Ingo Blechschmidt
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Sequent Calculus
Geometric Constraints
Theorem Prover
Partially Ordered
Top Venues
CiE
Dagstuhl Reports
</>
Publications
</>
Ingo Blechschmidt
,
Hajime Ishihara
,
Peter M. Schuster
,
Gabriele Buriola
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).
Dagstuhl Reports
14 (1) (2024)
Gabriele Buriola
,
Peter Schuster
,
Ingo Blechschmidt
A Constructive Picture of Noetherian Conditions and Well Quasi-orders.
CiE
(2023)
Ingo Blechschmidt
,
Peter Schuster
Maximal Ideals in Countable Rings, Constructively.
CiE
(2022)