Login / Signup
Tarmo Uustalu
ORCID
Publication Activity (10 Years)
Years Active: 1992-2024
Publications (10 Years): 44
Top Topics
Proof Theory
Regular Languages
Cellular Automata
Sequent Calculus
Top Venues
J. Log. Algebraic Methods Program.
CoRR
MFPS
Log. Methods Comput. Sci.
</>
Publications
</>