Philipp Hanisch

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Rewrite Systems

Top Venues

Proc. ACM Manag. Data

Publications

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time. Proc. ACM Manag. Data 2 (2) (2024)
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time. CoRR (2024)
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming. IJCAI (2022)