Download or read book Theoretical Computer Science - Proceedings Of The Fifth Italian Conference written by Alfredo De Santis and published by World Scientific. This book was released on 1996-04-13 with total page 577 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Fifth Italian Conference on Theoretical Computer Science covers all aspects of Theoretical Computer Science. Among the topics addressed in the volume are Algorithms, Concurrency, Automata, Formal Languages, Computational Complexity, Temporal and Model Logic, Logic Programming, and λ-Calculus.The proceedings include 33 selected papers and three distinguished invited lectures by Michael Luby, Ugo Montanari and Alberto Bertoni.