vix.ing · top · new · best · stats · spec

Fabio F. G. Buono

  1. Syntactic Systems Cannot See Semantic Invariants
    2026/06/15 by Fabio F. G. Buono · 1 voice · 1 citation
    Computer Science · #cs.LO #cs.CR
  2. 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
  3. 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