C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Heribert Mühlberger
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Formal Proofs
Automatic Programming
Top Venues
CoRR
ESOP
</>
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)