Ingo Blechschmidt

Orcid: 0000-0002-4210-1622

Affiliations:

University of Augsburg, Germany

According to our database¹, Ingo Blechschmidt authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2024

Reifying dynamical algebra: Maximal ideals in countable rings, constructively.

[BibT_eX]

[DOI]

Ingo Blechschmidt

Peter Schuster

Comput., 2024

2023

A Constructive Picture of Noetherian Conditions and Well Quasi-orders.

[BibT_eX]

[DOI]

Gabriele Buriola

Peter Schuster

Ingo Blechschmidt

Proceedings of the Unity of Logic and Computation, 2023

2022

Maximal Ideals in Countable Rings, Constructively.

[BibT_eX]

[DOI]

Ingo Blechschmidt

Peter Schuster

Proceedings of the Revolutions and Revelations in Computability, 2022

Ingo Blechschmidt

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...