Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Tarmo Uustalu
Tarmo Uustalu
Publications
Reordering Derivatives of Trace Closures of Regular Languages (Full Version). Hendrik Maarand, Tarmo Uustalu. 2019.
Resumptions, Weak Bisimilarity and Big-Step Semantics for While With Interactive I/O: An Exercise in Mixed Induction-Coinduction. Keiko Nakata, Tarmo Uustalu. 2010.