Eugenio Orlandelli

Latest

• A Syntactic Proof of the Decidability of First-Order Monadic Logic