Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Restivo, Antonio, Ronchi Della Rocca, Simona, Roversi, Luca
Format:	Buch
Sprache:	eng
Schlagworte:	Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer Science Computer software Congresses Data Structures Data structures (Computer scienc Information theory Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming.
ISSN:	0302-9743
DOI:	10.1007/3-540-45446-2