Login / Signup
Agi Kurucz
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 20
Top Topics
Temporal Logic
Regular Languages
Modal Logic
Mazurkiewicz Traces
Top Venues
CoRR
ACM Trans. Comput. Log.
KR
RAMiCS
</>
Publications
</>