Theoretical Computer Science - Proceedings Of The Fifth Italian Conference

ISBN: 9789810226732 出版年：1996 页码：577 Alfredo De Santis World Scientific Publishing Company

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.