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