skip to content
Fifth Italian Conference on Theoretical Computer Science, Villa Rufolo, Ravello, Italy, November 9-11, 1995 Preview this item
ClosePreview this item
Checking...

Fifth Italian Conference on Theoretical Computer Science, Villa Rufolo, Ravello, Italy, November 9-11, 1995

Author: Alfredo De Santis
Publisher: Singapore ; River Edge, NJ : World Scientific, ©1996.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

The 5th Italian Conference covered all aspects of theoretical computer science. Among the topics addressed in this volume are algorithms, concurrency, automata, formal languages, computational  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alfredo De Santis
ISBN: 981022673X 9789810226732
OCLC Number: 35591179
Description: xii, 563 pages : illustrations ; 23 cm
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.
Other Titles: Theoretical computer science
Responsibility: editor, Alfredo De Santis.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/35591179> # Fifth Italian Conference on Theoretical Computer Science, Villa Rufolo, Ravello, Italy, November 9-11, 1995
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "35591179" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/499800684#Place/river_edge_nj> ; # River Edge, NJ
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/499800684#Place/singapore> ; # Singapore
   schema:about <http://experiment.worldcat.org/entity/work/data/499800684#Topic/computer_science> ; # Computer science
   schema:about <http://dewey.info/class/004/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/499800684#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:alternateName "Theoretical computer science" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/499800684#Person/de_santis_alfredo> ; # Alfredo De Santis
   schema:copyrightYear "1996" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/499800684#Meeting/italian_conference_on_theoretical_computer_science_5th_1995_ravello_italy> ; # Italian Conference on Theoretical Computer Science (5th : 1995 : Ravello, Italy)
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/499800684> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Fifth Italian Conference on Theoretical Computer Science, Villa Rufolo, Ravello, Italy, November 9-11, 1995"@en ;
   schema:productID "35591179" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/35591179#PublicationEvent/singapore_river_edge_nj_world_scientific_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/499800684#Agent/world_scientific> ; # World Scientific
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=007416659&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9789810226732> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/35591179> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/499800684#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/499800684#Meeting/italian_conference_on_theoretical_computer_science_5th_1995_ravello_italy> # Italian Conference on Theoretical Computer Science (5th : 1995 : Ravello, Italy)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/499800684#Place/ravello_italy> ; # Ravello, Italy)
   schema:name "Italian Conference on Theoretical Computer Science (5th : 1995 : Ravello, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499800684#Person/de_santis_alfredo> # Alfredo De Santis
    a schema:Person ;
   schema:familyName "De Santis" ;
   schema:givenName "Alfredo" ;
   schema:name "Alfredo De Santis" ;
    .

<http://experiment.worldcat.org/entity/work/data/499800684#Place/ravello_italy> # Ravello, Italy)
    a schema:Place ;
   schema:name "Ravello, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499800684#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://worldcat.org/isbn/9789810226732>
    a schema:ProductModel ;
   schema:isbn "981022673X" ;
   schema:isbn "9789810226732" ;
    .

<http://www.worldcat.org/title/-/oclc/35591179>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/35591179> ; # Fifth Italian Conference on Theoretical Computer Science, Villa Rufolo, Ravello, Italy, November 9-11, 1995
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.