Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
EPIT
Folder: EPIT
10 items under this folder.
Aug 19, 2025
Basics of Category Theory
Aug 19, 2025
mu-calculus and Proof Theory
Aug 19, 2025
A Categorical Approach to Automata Learning and Minimization
Aug 19, 2025
Automata on infinite structures
revisit
check
Aug 19, 2025
Expressiveness of cyclic proofs
idea
important
question
Aug 19, 2025
Higher-order languages and parity automata
Aug 19, 2025
Semantics of recursive types and logic with fixpoints
Aug 19, 2025
Software Verification in muCLP
question
Aug 19, 2025
Summary
think
Aug 19, 2025
Take home