THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE FIFTH ITALIAN CONFERENCE

Inbunden, Engelska, 1996

4 289 kr

Tillfälligt slut

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.

Produktinformation

Utgivningsdatum1996-04-01
FormatInbunden
SpråkEngelska
Antal sidor576
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789810226732

Tillhör följande kategorier

Programspråk inom Data och IT
Systemvetenskap och AI inom Data och IT

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.