Overview

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.

Full Product Details

Author:   Alfredo De Santis (Univ Salerno, Italy)
Publisher:   World Scientific Publishing Co Pte Ltd
Imprint:   World Scientific Publishing Co Pte Ltd
ISBN:  

9789810226732

ISBN 10:   981022673
Pages:   576
Publication Date:   01 April 1996
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

A novel deterministic sampling scheme with applications to broadcast-efficient sorting on the reconfigurable mesh, S. Olariu and J. L. Schwing; syntactical properties of an extention of Girard's system F where types can be taken as generic inputs, G. Belle; Broadcast encryption schemes with disenrollment capability, C. Blundo and A. Cresti; interleaving based partial ordering semantics, C. Priami; set-theoretic decidability results for model theorem proving, G. D' Agnostino et al; verifying identical communication processes is undecidable, A. Finkel and P. McKenzie; an investigation on the optimal implementation of processes, C. Laneve; reasoning about value-passing calculi in HOL, M. Nesi; transforming comparison model lower bounds to the parallel-random-access-machine, D. Breslauer et al; formalizing causal reasoning in law with an action-based language - a preliminary report, A. Provetti.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions