Crossmark

Investigations into Proof Structures

Crossref DOI link: https://doi.org/10.1007/s10817-024-09711-8

Published Online: 2024-10-29

Published Print: 2024-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Wernhard, Christoph

Bibel, Wolfgang
Funding

Funding for this research was provided by:

Universität Potsdam
License Information

Text and Data Mining valid from 2024-10-29

Version of Record valid from 2024-10-29
More Information

Article History

Received: 16 March 2023

Accepted: 6 August 2024

First Online: 29 October 2024