External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Shape of EL Proofs: A Tale of Three Calculi

Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch. The Shape of EL Proofs: A Tale of Three Calculi. In Lidia Tendera, Yazmín Ibáñez García, Patrick Koopmann, editors, Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025. Volume 4091 of CEUR Workshop Proceedings, CEUR-WS.org, 2025. [doi]

Authors

Christian Alrabbaa

This author has not been identified. Look up 'Christian Alrabbaa' in Google

Stefan Borgwardt

This author has not been identified. Look up 'Stefan Borgwardt' in Google

Philipp Herrmann

This author has not been identified. Look up 'Philipp Herrmann' in Google

Markus Krötzsch

This author has not been identified. Look up 'Markus Krötzsch' in Google
runs on