Michael Schmitz

Orcid: 0000-0003-3808-1400

Affiliations:

Europa-Universität Flensburg, Flensburg, Germany

According to our database¹, Michael Schmitz authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

The Saturation Spectrum for Antichains of Subsets.

[BibT_eX]

[DOI]

Order, October, 2023

Sizes of flat maximal antichains of subsets.

[BibT_eX]

[DOI]

CoRR, 2023

2021

Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche.

[BibT_eX]

[DOI]

Merlin Carl

Hinrich Lorenzen

Michael Schmitz

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

Maximal antichains of subsets I: The shadow spectrum.

[BibT_eX]

[DOI]

CoRR, 2021

Michael Schmitz

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...