Login / Signup
Timo Matt
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Fixpoint
Top Venues
CoRR
ICGT
</>
Publications
</>
Paolo Baldan
,
Richard Eggert
,
Barbara König
,
Timo Matt
,
Tommaso Padoan
A Monoidal View on Fixpoint Checks.
CoRR
(2023)
Paolo Baldan
,
Richard Eggert
,
Barbara König
,
Timo Matt
,
Tommaso Padoan
A Monoidal View on Fixpoint Checks.
ICGT
(2023)