Theoretical Computer Science - Proceedings Of The Fifth Italian Conference

Inbunden, Engelska, 1996

Av SANTIS A D, Alfredo De Santis, Alfredo de Santis

4 189 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.

Du kanske också är intresserad av

Romanticism&Politics 1762-1832 Vol1

Romanticism&Politics 1762-1832 Vol1

Bolton, Bolton Carol, Carol Bolton

4 189 kr

Realizations

Realizations

4 189 kr

Gifford Pinchot

Gifford Pinchot

M. Nelson McGeary, M. Nelson Mcgeary

4 189 kr

Advances In Tissue Banking, Vol. 6

Del 6

Advances In Tissue Banking, Vol. 6

PHILLIPS GLYN O, Glyn O Phillips, Glyn O. Phillips

4 189 kr

Advances In Chinese Spoken Language Processing

Advances In Chinese Spoken Language Processing

LEE CHIN-HUI, Haizhou Li, Chin-hui Lee, Lin-shan Lee, Ren-hua Wang, Qiang Huo, S'pore) Li, Haizhou (Inst For Infocomm Research, Usa) Lee, Chin-hui (Georgia Inst Of Tech, Taiwan) Lee, Lin-shan (Nat'l Taiwan Univ, China) Wang, Ren-hua (Univ Of Sci & Tech Of China, Hong Kong) Huo, Qiang (Univ Of Hong Kong, Chin-Hui Lee, Lin-Shan Lee, Ren-Hua Wang

4 189 kr

Technology and Society under Lenin and Stalin

Technology and Society under Lenin and Stalin

Kendall E. Bailes

4 189 kr

Approaches to Design and Synthesis of Antiparasitic Drugs

Del 25

Approaches to Design and Synthesis of Antiparasitic Drugs

Nitya Anand, Satyavan Sharma, N. Anand, S. Sharma?, India) Anand, N. (Central Drug Research Inst., Chatter Manzil, Post Box 173, Lucknow 226 001, S. Sharma, S. Sharma+

4 189 kr

Clinical Toxicology: Principles and Mechanisms

Clinical Toxicology: Principles and Mechanisms

Frank A. Barile

4 189 kr

Real World, Real Challenges

Real World, Real Challenges

4 189 kr

Uncertainty And Intelligent Information Systems

Uncertainty And Intelligent Information Systems

AL BERNADETTE BOUCHON-MEUNIER ET, Ronlad R Yager, Bernadette Bouchon-meunier, Christophe Marsala, Maria Rifqi, Enrique Miranda, Usa) Yager, Ronlad R (Iona College, France) Bouchon-meunier, Bernadette (Univ Pierre Et Marie Curie-paris 6, France) Marsala, Christophe (Univ Pierre Et Marie Curie-paris 6, France) Rifqi, Maria (Univ Pierre Et Marie Curie-paris 6, Spain) Miranda, Enrique (Univ Of Oviedo, Ronlad R. Yager, Bernadette Bouchon-Meunier

4 189 kr