skip to content
Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings Preview this item
ClosePreview this item
Checking...

Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings

Author: Antonio Restivo; Luca Roversi; S Ronchi Della Rocca
Publisher: Berlin ; London ; New York : Springer, ©2001.
Series: Lecture notes in computer science, 2202.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.The 25 revised full papers presented  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: Kongress
Conference papers and proceedings
Turin (2001)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Antonio Restivo; Luca Roversi; S Ronchi Della Rocca
ISBN: 3540426728 9783540426721
OCLC Number: 48154295
Description: xi, 440 pages : illustrations ; 24 cm.
Contents: A LTS Semantics of Ambients via Graph Synchronization with Mobility / GianLuigi Ferrari, Ugo Montanari and Emilio Tuosto --
Filter Models and Easy Terms / Fabio Alessi, Mariangiola Dezani-Ciancaglini and Furio Honsell --
Confluence of Untyped Lambda Calculus via Simple Types / Silvia Ghilezan and Viktor Kuncak --
Incremental Inference of Partial Types / Mario Coppo and Daniel Hirschkoff --
Call-by-Value Separability and Computability / Luca Paolini --
Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms / Juraj Hromkovic, Kathleen Steinhofel and Peter Widmayer --
Job Shop Scheduling Problems with Controllable Processing Times / Klaus Jansen, Monaldo Mastrolilli and Roberto Solis-Oba --
Upper Bounds on the Size of One-Way Quantum Finite Automata / Carlo Mereghetti and Beatrice Palano --
P Systems with Gemmation of Mobile Membranes / Daniela Besozzi, Claudio Zandron and Giancarlo Mauri / [and others] --
Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Set of Autonomous Mobile Robots / Giuseppe Prencipe --
Some Structural Properties of Associative Language Descriptions / Alessandra Cherubini, Stefano Crespi Reghizzi and Pierluigi San Pietro --
Block-Deterministic Regular Languages / Dora Giammarresi, Rosa Montalbano and Derick Wood --
Constructing Finite Maximal Codes from Schutzenberger Conjecture / Marcella Anselmo --
An Effective Translation of Fickle into Java / David Ancona, Christopher Anderson and Ferruccio Damiani / [and others] --
Subtyping and Matching for Mobile Objects / Michele Bugliesi, Giuseppe Castagna and Silvia Crafa --
On Synchronous and Asynchronous Communication Paradigms / Diletta Cacciagrano and Flavio Corradini --
Complexity of Layered Binary Search Trees with Relaxed Balance / Lars Jacobsen and Kim S. Larsen --
Distance Constrained Labeling of Precolored Trees / Jiri Fiala, Jan Kratochvil and Andrzej Proskurowski --
Exponentially Decreasing Number of Operations in Balanced Trees / Lars Jacobsen and Kim S. Larsen --
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach / Giorgio Ausiello, Paolo G. Franciosa and Daniele Frigioni --
Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold / Alexis C. Kaporis, Lefteris M. Kirousis and Yannis C. Stamatiou / [et al.] --
Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions / Andre Grosse, Jorg Rothe and Gerd Wechsung --
On the Distribution of a Key Distribution Center / Paolo D'Arco --
Online Advertising: Secure E-coupons / Stelvio Cimato and Annalisa De Bonis --
A Calculus and Complexity Bound for Minimal Conditional Logic / Nicola Olivetti and Camilla B. Schwind --
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach / Matteo Baldoni, Laura Giordano and Alberto Matelli / [et al.] --
E-unifiability via Narrowing / Emanuele Viola.
Series Title: Lecture notes in computer science, 2202.
Other Titles: ICTCS 2001
Responsibility: Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.).

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/48154295> # Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "48154295" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792325830#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    schema:about <http://dewey.info/class/004.36/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/kongress> ; # Kongress
    schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/informatique_congres> ; # Informatique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/computer_science> ; # Computer science
    schema:alternateName "ICTCS 2001" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/38879691> ; # Luca Roversi
    schema:contributor <http://viaf.org/viaf/167381138> ; # Simonetta Ronchi Della Rocca
    schema:contributor <http://viaf.org/viaf/120787776> ; # Antonio Restivo
    schema:copyrightYear "2001" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/792325830#Meeting/italian_conference_on_theoretical_computer_science_7th_2001_torino_italy> ; # Italian Conference on Theoretical Computer Science (7th : 2001 : Torino, Italy)
    schema:datePublished "2001" ;
    schema:description "A LTS Semantics of Ambients via Graph Synchronization with Mobility / GianLuigi Ferrari, Ugo Montanari and Emilio Tuosto -- Filter Models and Easy Terms / Fabio Alessi, Mariangiola Dezani-Ciancaglini and Furio Honsell -- Confluence of Untyped Lambda Calculus via Simple Types / Silvia Ghilezan and Viktor Kuncak -- Incremental Inference of Partial Types / Mario Coppo and Daniel Hirschkoff -- Call-by-Value Separability and Computability / Luca Paolini -- Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms / Juraj Hromkovic, Kathleen Steinhofel and Peter Widmayer -- Job Shop Scheduling Problems with Controllable Processing Times / Klaus Jansen, Monaldo Mastrolilli and Roberto Solis-Oba -- Upper Bounds on the Size of One-Way Quantum Finite Automata / Carlo Mereghetti and Beatrice Palano -- P Systems with Gemmation of Mobile Membranes / Daniela Besozzi, Claudio Zandron and Giancarlo Mauri / [and others] -- Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Set of Autonomous Mobile Robots / Giuseppe Prencipe -- Some Structural Properties of Associative Language Descriptions / Alessandra Cherubini, Stefano Crespi Reghizzi and Pierluigi San Pietro -- Block-Deterministic Regular Languages / Dora Giammarresi, Rosa Montalbano and Derick Wood -- Constructing Finite Maximal Codes from Schutzenberger Conjecture / Marcella Anselmo -- An Effective Translation of Fickle into Java / David Ancona, Christopher Anderson and Ferruccio Damiani / [and others] -- Subtyping and Matching for Mobile Objects / Michele Bugliesi, Giuseppe Castagna and Silvia Crafa -- On Synchronous and Asynchronous Communication Paradigms / Diletta Cacciagrano and Flavio Corradini -- Complexity of Layered Binary Search Trees with Relaxed Balance / Lars Jacobsen and Kim S. Larsen -- Distance Constrained Labeling of Precolored Trees / Jiri Fiala, Jan Kratochvil and Andrzej Proskurowski -- Exponentially Decreasing Number of Operations in Balanced Trees / Lars Jacobsen and Kim S. Larsen -- Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach / Giorgio Ausiello, Paolo G. Franciosa and Daniele Frigioni -- Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold / Alexis C. Kaporis, Lefteris M. Kirousis and Yannis C. Stamatiou / [et al.] -- Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions / Andre Grosse, Jorg Rothe and Gerd Wechsung -- On the Distribution of a Key Distribution Center / Paolo D'Arco -- Online Advertising: Secure E-coupons / Stelvio Cimato and Annalisa De Bonis -- A Calculus and Complexity Bound for Minimal Conditional Logic / Nicola Olivetti and Camilla B. Schwind -- Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach / Matteo Baldoni, Laura Giordano and Alberto Matelli / [et al.] -- E-unifiability via Narrowing / Emanuele Viola."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/792325830> ;
    schema:genre "Turin (2001)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792325830#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings"@en ;
    schema:productID "48154295" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/48154295#PublicationEvent/berlin_london_new_york_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/792325830#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/10.1007/3-540-45446-2> ;
    schema:url <http://swbplus.bsz-bw.de/bsz094808902kap.htm> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2202.htm> ;
    schema:url <http://dx.doi.org/10.1007/3-540-45446-2> ;
    schema:url <http://link.springer.de/link/service/series/0558/tocs/t2202.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz094808902cov.htm> ;
    schema:url <http://www.springerlink.com/link.asp?id=9gr8h6rg1qgf186v> ;
    schema:url <http://swbplus.bsz-bw.de/bsz094808902inh.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540426721> ;
    umbel:isLike <http://d-nb.info/962323438> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA157484> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/48154295> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#Meeting/italian_conference_on_theoretical_computer_science_7th_2001_torino_italy> # Italian Conference on Theoretical Computer Science (7th : 2001 : Torino, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/792325830#Place/torino_italy> ; # Torino, Italy)
    schema:name "Italian Conference on Theoretical Computer Science (7th : 2001 : Torino, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#Place/torino_italy> # Torino, Italy)
    a schema:Place ;
    schema:name "Torino, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/48154295> ; # Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#Topic/informatique_congres> # Informatique--Congrès
    a schema:Intangible ;
    schema:name "Informatique--Congrès"@en ;
    schema:name "Informatique--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#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://link.springer.com/10.1007/3-540-45446-2>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer.de/link/service/series/0558/tocs/t2202.htm>
    rdfs:comment "Sommaire + texte intégral (accès réservé)" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2202.htm>
    rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/120787776> # Antonio Restivo
    a schema:Person ;
    schema:familyName "Restivo" ;
    schema:givenName "Antonio" ;
    schema:name "Antonio Restivo" ;
    .

<http://viaf.org/viaf/167381138> # Simonetta Ronchi Della Rocca
    a schema:Person ;
    schema:familyName "Ronchi Della Rocca" ;
    schema:givenName "Simonetta" ;
    schema:givenName "S." ;
    schema:name "Simonetta Ronchi Della Rocca" ;
    .

<http://viaf.org/viaf/38879691> # Luca Roversi
    a schema:Person ;
    schema:familyName "Roversi" ;
    schema:givenName "Luca" ;
    schema:name "Luca Roversi" ;
    .

<http://worldcat.org/isbn/9783540426721>
    a schema:ProductModel ;
    schema:isbn "3540426728" ;
    schema:isbn "9783540426721" ;
    .

<http://www.springerlink.com/link.asp?id=9gr8h6rg1qgf186v>
    rdfs:comment "Access restricted to Rutgers University faculty, staff and students" ;
    rdfs:comment "Electronic version:" ;
    .

<http://www.worldcat.org/title/-/oclc/48154295>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/48154295> ; # Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
    schema:dateModified "2018-06-02" ;
    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.