Skip to content Skip to footer

Research Portal of the TU Dresden

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

Research output: Preprint/Documentation/Report › Preprint

Contributors

Christian Alrabbaa - , Chair of Automata Theory (Author)
Stefan Borgwardt - , Chair of Automata Theory (Author)
Philipp Herrmann - , TUD Dresden University of Technology (Author)
Markus Krötzsch - , Center for Advancing Electronics Dresden (cfaed), Chair of Knowledge-based Systems (cfaed) (Author)

Details

Original language	English
Publisher	arXiv
Publication status	Published - 2025

No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Keywords