skip to content
Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings

Author: Mario Coppo; E Lodi; G Michele Pinna
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3701.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

Constitutes the proceedings of the 9th International Conference on Theoretical Computer Science, 2005. The papers in this book address the issues in theoretical computer science and discusses topics  Read more...

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
Italian Conference on Theoretical Computer Science (9th : 2005 : Siena, Italy).
Theoretical computer science.
Berlin ; New York : Springer, ©2005
(DLC) 2005933156
(OCoLC)62092123
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mario Coppo; E Lodi; G Michele Pinna
ISBN: 9783540320241 3540320245 3540291067 9783540291060
OCLC Number: 262681020
Notes: "9th Italian Conference on Theoretical Computer Science"--Preface.
Description: 1 online resource (xi, 409 pages) : illustrations.
Contents: Invited Contributions --
Semantic Subtyping: Challenges, Perspectives, and Open Problems --
Biological Systems as Reactive Systems --
Mobile Agents Computing: Security Issues and Algorithmic Solutions --
Technical Contributions --
Efficient Algorithms for Detecting Regular Point Configurations --
Pickup and Delivery for Moving Objects on Broken Lines --
A Static Analysis of PKI-Based Systems --
Subtyping Object and Recursive Types Logically --
The Language?: Circuits, Computations and Classical Logic --
Checking Risky Events Is Enough for Local Policies --
The Graph Rewriting Calculus: Confluence and Expressiveness --
Safe Object Composition in the Presence of Subtyping --
Reachability Analysis in Boxed Ambients --
Error Mining for Regular Expression Patterns --
Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections --
Inapproximability Results for the Lateral Gene Transfer Problem --
Faster Deterministic Wakeup in Multiple Access Channels --
Weighted Coloring: Further Complexity and Approximability Results --
Quantum Algorithms for a Set of Group Theoretic Problems --
On the Computational Complexity of the L (2,1)-Labeling Problem for Regular Graphs --
A Polymerase Based Algorithm for SAT --
Laxity Helps in Broadcast Scheduling --
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory --
Synthesis from Temporal Specifications Using Preferred Answer Set Programming --
Model Checking Strategic Abilities of Agents Under Incomplete Information --
Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error --
A Theoretical Analysis of Alignment and Edit Problems for Trees --
A Complete Formulation of Generalized Affine Equivalence --
A New Combinatorial Approach to Sequence Comparison --
A Typed Assembly Language for Non-interference --
Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems --
A Typed Semantics of Higher-Order Store and Subtyping --
Two Variables Are Not Enough.
Series Title: Lecture notes in computer science, 3701.
Other Titles: ICTCS 2005
Responsibility: Mario Coppo, Elena Lodi, G. Michele Pinna (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/262681020> # Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "262681020" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/899385057#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_reference> ; # COMPUTERS--Reference
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/informatique_theorique> ; # Informatique théorique
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
    schema:alternateName "ICTCS 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/85550809> ; # Mario Coppo
    schema:contributor <http://viaf.org/viaf/9516432> ; # Elena Lodi
    schema:contributor <http://viaf.org/viaf/271493660> ; # G Michele Pinna
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/899385057#Meeting/italian_conference_on_theoretical_computer_science_9th_2005_siena_italy> ; # Italian Conference on Theoretical Computer Science (9th : 2005 : Siena, Italy)
    schema:datePublished "2005" ;
    schema:description "Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems -- Subtyping Object and Recursive Types Logically -- The Language?: Circuits, Computations and Classical Logic -- Checking Risky Events Is Enough for Local Policies -- The Graph Rewriting Calculus: Confluence and Expressiveness -- Safe Object Composition in the Presence of Subtyping -- Reachability Analysis in Boxed Ambients -- Error Mining for Regular Expression Patterns -- Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections -- Inapproximability Results for the Lateral Gene Transfer Problem -- Faster Deterministic Wakeup in Multiple Access Channels -- Weighted Coloring: Further Complexity and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational Complexity of the L (2,1)-Labeling Problem for Regular Graphs -- A Polymerase Based Algorithm for SAT -- Laxity Helps in Broadcast Scheduling -- Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory -- Synthesis from Temporal Specifications Using Preferred Answer Set Programming -- Model Checking Strategic Abilities of Agents Under Incomplete Information -- Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error -- A Theoretical Analysis of Alignment and Edit Problems for Trees -- A Complete Formulation of Generalized Affine Equivalence -- A New Combinatorial Approach to Sequence Comparison -- A Typed Assembly Language for Non-interference -- Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems -- A Typed Semantics of Higher-Order Store and Subtyping -- Two Variables Are Not Enough."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/899385057> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/62092123> ;
    schema:name "Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings"@en ;
    schema:productID "262681020" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262681020#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/899385057#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/link.asp?id=g85r415m4542> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/11560586> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-29106-0> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=183210> ;
    schema:url <http://site.ebrary.com/id/10528631> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3067727> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-29106-0> ;
    schema:url <http://dx.doi.org/10.1007/11560586> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/11560586> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3701> ;
    schema:url <http://link.springer.com/10.1007/11560586> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11560586> ;
    schema:url <http://www.myilibrary.com?id=139135> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=3-540-29106-7> ;
    schema:workExample <http://worldcat.org/isbn/9783540320241> ;
    schema:workExample <http://worldcat.org/isbn/9783540291060> ;
    umbel:isLike <http://d-nb.info/976400685> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262681020> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/899385057#Meeting/italian_conference_on_theoretical_computer_science_9th_2005_siena_italy> # Italian Conference on Theoretical Computer Science (9th : 2005 : Siena, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/899385057#Place/siena_italy> ; # Siena, Italy)
    schema:name "Italian Conference on Theoretical Computer Science (9th : 2005 : Siena, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Place/siena_italy> # Siena, Italy)
    a schema:Place ;
    schema:name "Siena, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
    schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
    schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
    schema:name "COMPUTERS--Reference"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/informatique> # Informatique
    a schema:Intangible ;
    schema:name "Informatique"@en ;
    schema:name "Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/899385057#Topic/informatique_theorique> # Informatique théorique
    a schema:Intangible ;
    schema:name "Informatique théorique"@en ;
    .

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

<http://viaf.org/viaf/271493660> # G Michele Pinna
    a schema:Person ;
    schema:familyName "Pinna" ;
    schema:givenName "G. Michele" ;
    schema:name "G Michele Pinna" ;
    .

<http://viaf.org/viaf/85550809> # Mario Coppo
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Coppo" ;
    schema:givenName "Mario" ;
    schema:name "Mario Coppo" ;
    .

<http://viaf.org/viaf/9516432> # Elena Lodi
    a schema:Person ;
    schema:familyName "Lodi" ;
    schema:givenName "Elena" ;
    schema:givenName "E." ;
    schema:name "Elena Lodi" ;
    .

<http://worldcat.org/isbn/9783540291060>
    a schema:ProductModel ;
    schema:isbn "3540291067" ;
    schema:isbn "9783540291060" ;
    .

<http://worldcat.org/isbn/9783540320241>
    a schema:ProductModel ;
    schema:isbn "3540320245" ;
    schema:isbn "9783540320241" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262681020> ; # Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/62092123>
    a schema:CreativeWork ;
    rdfs:label "Theoretical computer science." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262681020> ; # Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262681020>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262681020> ; # Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
    schema:dateModified "2018-09-08" ;
    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.