Oliver Görlitz

Publication Activity (10 Years)

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

Top Topics

Top Venues

Publications

Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR (2023)