Theoretical Computer Science - Proceedings Of The Fifth Italian Conference

Inbunden, Engelska, 1996

3 209 kr

Tillfälligt slut

Beskrivning

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

Utgivningsdatum:1996-04-01
Format:Inbunden
Språk:Engelska
Antal sidor:576
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789810226732

Utforska kategorier

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

Innehållsförteckning

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.