Login / Signup
Andrea Corradini
ORCID
Publication Activity (10 Years)
Years Active: 1986-2024
Publications (10 Years): 32
Top Topics
Transition Systems
Directed Acyclic
Rewrite Rules
Petri Net
Top Venues
ICGT
CoRR
J. Log. Algebraic Methods Program.
Math. Struct. Comput. Sci.
</>
Publications
</>