Theoretical Computer Science - Proceedings Of The 6th Italian Conference
Theoretical Computer Science - Proceedings Of The 6th Italian Conference

Author: Giuseppe Pirillo

Publisher: World Scientific

Published: 1998-10-15

Total Pages: 398

ISBN-13: 9814544302

DOWNLOAD EBOOK

The Italian Conference on Theoretical Computer Science (ICTCS '98) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The Conference aims at enabling computer scientists, especially young researchers to enter the community and to exchange theoretical ideas and results, as well as theoretical based practical experiences and tools in computer science.This volume contains 32 papers selected out of 50 submissions. The main topics include computability, automata, formal languages, term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, semantics of programming languages, program specification and verification, foundations of logic programming, parallel and distributed computation, and theory of concurrency.The volume provides an up-to-date view of the status of several relevant topics in theoretical computer science and suggests directions for future research. It constitutes a valuable working tool for researchers and graduate students.

Theoretical Computer Science - Proceedings Of The 4th Italian Conference
Theoretical Computer Science - Proceedings Of The 4th Italian Conference

Author: P Mentrasti

Publisher: World Scientific

Published: 1992-10-15

Total Pages: 373

ISBN-13: 9814553573

DOWNLOAD EBOOK

This volume is an up-to-date record of Italian research on theoretical computer science. The main topics featured are: algorithms and complexity, automata and formal languages, concurrency, databases, logic, functional and object-oriented programming, parallel algorithms and architectures, semantics of programming languages, rewriting systems, and others.

The Parametric Lambda Calculus
The Parametric Lambda Calculus

Author: Simona Ronchi Della Rocca

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 254

ISBN-13: 366210394X

DOWNLOAD EBOOK

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.

Foundations of Software Technology and Theoretical Computer Science
Foundations of Software Technology and Theoretical Computer Science

Author: C. Pandu Rangan

Publisher: Springer

Published: 2003-06-26

Total Pages: 467

ISBN-13: 3540466916

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99, held in Chennai, India, in December 1999. The 30 revised full papers presented were carefully reviewed and selected from a total of 84 submissions. Also included are six invited contributions. The papers presented address all current issues in theoretical computer science and programming theory.

Theoretical Computer Science
Theoretical Computer Science

Author: Carlo Blundo

Publisher: Springer Science & Business Media

Published: 2003-09-29

Total Pages: 408

ISBN-13: 3540202161

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th Italian Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 2003. The 27 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on program design-models and analysis, algorithms and complexity, semantics and formal languages, and security and cryptography.