Fabio F. G. Buono
- Syntactic Systems Cannot See Semantic Invariants
2026/06/15 by Fabio F. G. Buono · 1 voice · 1 citation
Computer Science · #cs.LO #cs.CR
- Limits of Uniform Certification in the Standard Turing Model -- Semantic Invariants and Admissible Methods
2026/07/04 by Fabio F. G. Buono · 1 voice
Computer Science · #cs.LO
- Observers, Symmetries, and the Hierarchy of Language Classes: A Theory of Computation Parameterized by the Observer
2026/06/25 by Fabio F. G. Buono · 1 voice · 1 citation
Computer Science · #cs.FL #cs.LO