Heribert Mühlberger

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Automatic Programming

Top Venues

Publications

Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Interpreting Knowledge-based Programs. ESOP (2023)
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Interpreting Knowledge-based Programs (Extended Version with Proofs). CoRR (2023)