Similar Items: Admissibility in Finitely Generated Quasivarieties
- Exact Unification and Admissibility
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Coherent and finiteness spaces
- On streams that are finitely red