duplavis.com
Venanzio Capretta
http://www.duplavis.com/venanzio
School of Computer Science. Jubilee Campus, Wollaton Road. Nottingham NG8 1BB, UK. School of Computer Science. REFLECTIONS on Type Theory, Lambda Calculus, and the Mind. Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday. Erik Barendsen, Herman Geuvers, Venanzio Capretta, Milad Niqui (Eds.). Type Theory, Algebraic Structures, and Recursive Functions. Defended on April 23, 2002. University of Nijmegen, The Netherlands. From the University of Padova. The University of Ottawa. Mathemat...
pighizzini.di.unimi.it
Recent Papers by Giovanni Pighizzini
http://pighizzini.di.unimi.it/pubbl
Recent Papers by Giovanni Pighizzini. GJ Lavado, G. Pighizzini, and L. Prigioniero. Minimal and Reduced Reversible Automata. In Proceedings of DCFS 2016. Lecture Notes in Computer Science 9777, pages 168-179, 2016. Restricted Turing Machines and Language Recognition. In Proceedings of LATA 2016. Lecture Notes in Computer Science 9618, pages 42-56, 2016. Slides of the presentation: Full version Part I. Investigations on Automata and Languages Over a Unary Alphabet. 26(7), 827-850, 2015. 46(3), 37-55, 2015.