THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE FIFTH ITALIAN CONFERENCE

Inbunden, Engelska, 1996

3 303 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.

Du kanske också är intresserad av

Green Nanoarchitectonics

Kaushik Pal

E-bok

2022

3 303 kr

New Essays by De Quincey

Stuart M. Tave

Inbunden, 2016

3 303 kr

ADVANCES IN CHINESE SPOKEN LANGUAGE PROCESSING

Chin-Hui Lee, Haizhou Li, Lin-Shan Lee, Ren-Hua Wang, Qiang Huo, Haizhou Li, Chin-hui Lee, Lin-shan Lee, Ren-hua Wang, Qiang Huo

Inbunden, 2006

3 303 kr

Agricultural Biocatalysis

Evgeni B. Starikov, Peter Jeschke

E-bok

2022

3 303 kr

Engineering Psychology and Human Performance

Simon Banbury, Justin G. Hollands, William S. Helton, Christopher D. Wickens

E-bok

2021

3 303 kr

Conservation and Management of Transnational Tuna Fisheries

Robin Allen, James A. Joseph, Dale Squires

Inbunden, 2010

3 303 kr

Catalyst Deactivation 1980: International Symposium Proceedings

B. Delmon

E-bok

2000

3 303 kr

Spon's Civil Engineering and Highway Works Price Book 2026

AECOM

E-bok

2025

3 303 kr

Biomembranomics

Hongda Wang

E-bok

2023

3 303 kr

Species and System Selection for Sustainable Aquaculture

Pingsun Leung, Cheng-Sheng Lee, PingSun Leung, Cheng-Sheng Lee, Patricia J. O'Bryen

Inbunden, 2007

3 303 kr

THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE FIFTH ITALIAN CONFERENCE

AvSANTIS A D,A de Santis

Inbunden, Engelska, 1996

3 303 kr

Tillfälligt slut

Beskrivning

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.