skip to content
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings Preview this item
ClosePreview this item
Checking...

Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Author: Sophie Tison
Publisher: Berlin ; New York : Springer, ©2002.
Series: Lecture notes in computer science, 2378.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
(OCoLC)50041194
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sophie Tison
ISBN: 9783540456100 3540456104
OCLC Number: 166466291
Description: 1 online resource (xi, 385 pages) : illustrations.
Contents: Invited Talks --
Combining Shostak Theories --
Multiset Rewriting and Security Protocol Analysis --
Engineering of Logics for the Content-Based Representation of Information --
Regular Papers, Application Papers --
Axiomatic Rewriting Theory VI: Residual Theory Revisited --
Static Analysis of Modularity of?-Reduction in the Hyperbalanced?-Calculus --
Exceptions in the Rewriting Calculus --
Deriving Focused Lattice Calculi --
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property --
Decidability and Closure Properties of Equational Tree Languages --
Regular Sets of Descendants by Some Rewrite Strategies --
Rewrite Games --
An Extensional Böhm Model --
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution --
Tradeoffs in the Intensional Representation of Lambda Terms --
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae --
Conditions for Efficiency Improvement by Tree Transducer Composition --
Rewriting Strategies for Instruction Selection --
Probabilistic Rewrite Strategies. Applications to ELAN --
Loops of Superexponential Lengths in One-Rule String Rewriting --
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems Research Paper --
Termination of (Canonical) Context-Sensitive Rewriting --
Atomic Set Constraints with Projection --
Currying Second-Order Unification Problems --
A Decidable Variant of Higher Order Matching --
Combining Decision Procedures for Positive Theories Sharing Constructors --
System Descriptions --
JITty: A Rewriter with Strategy Annotations --
Autowrite: A Tool for Checking Properties of Term Rewriting Systems --
TTSLI: An Implementation of Tree-Tuple Synchronized Languages --
in2: A Graphical Interpreter for Interaction Nets.
Series Title: Lecture notes in computer science, 2378.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Sophie Tison (ed.).

Abstract:

These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002.  Read more...

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/166466291> # Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "166466291" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/196105179#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
    schema:about <http://dewey.info/class/005.131/e21/> ;
    schema:about <http://id.worldcat.org/fast/1096809> ; # Rewriting systems (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/algorithms> ; # Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/computer_programming> ; # Computer programming
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/196105179#Person/tison_sophie> ; # Sophie Tison
    schema:copyrightYear "2002" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/196105179#Meeting/international_conference_on_rewriting_techniques_and_applications_13th_2002_copenhagen_denmark> ; # International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)
    schema:datePublished "2002" ;
    schema:description "Invited Talks -- Combining Shostak Theories -- Multiset Rewriting and Security Protocol Analysis -- Engineering of Logics for the Content-Based Representation of Information -- Regular Papers, Application Papers -- Axiomatic Rewriting Theory VI: Residual Theory Revisited -- Static Analysis of Modularity of?-Reduction in the Hyperbalanced?-Calculus -- Exceptions in the Rewriting Calculus -- Deriving Focused Lattice Calculi -- Layered Transducing Term Rewriting System and Its Recognizability Preserving Property -- Decidability and Closure Properties of Equational Tree Languages -- Regular Sets of Descendants by Some Rewrite Strategies -- Rewrite Games -- An Extensional Böhm Model -- A Weak Calculus with Explicit Operators for Pattern Matching and Substitution -- Tradeoffs in the Intensional Representation of Lambda Terms -- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae -- Conditions for Efficiency Improvement by Tree Transducer Composition -- Rewriting Strategies for Instruction Selection -- Probabilistic Rewrite Strategies. Applications to ELAN -- Loops of Superexponential Lengths in One-Rule String Rewriting -- Recursive Derivational Length Bounds for Confluent Term Rewrite Systems Research Paper -- Termination of (Canonical) Context-Sensitive Rewriting -- Atomic Set Constraints with Projection -- Currying Second-Order Unification Problems -- A Decidable Variant of Higher Order Matching -- Combining Decision Procedures for Positive Theories Sharing Constructors -- System Descriptions -- JITty: A Rewriter with Strategy Annotations -- Autowrite: A Tool for Checking Properties of Term Rewriting Systems -- TTSLI: An Implementation of Tree-Tuple Synchronized Languages -- in2: A Graphical Interpreter for Interaction Nets."@en ;
    schema:description "This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/196105179> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/196105179#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
    schema:isSimilarTo <http://www.worldcat.org/oclc/50041194> ;
    schema:name "Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings"@en ;
    schema:productID "166466291" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/166466291#PublicationEvent/berlin_new_york_springer_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/196105179#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/link.asp?id=6kl2xhrg44lp> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-43916-5> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3073349> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540456104> ;
    schema:url <http://link.springer.com/10.1007/3-540-45610-4> ;
    schema:url <http://dx.doi.org/10.1007/3-540-45610-4> ;
    schema:workExample <http://worldcat.org/isbn/9783540456100> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/166466291> ;
    .


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/196105179#Meeting/international_conference_on_rewriting_techniques_and_applications_13th_2002_copenhagen_denmark> # International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/196105179#Place/copenhagen_denmark> ; # Copenhagen, Denmark)
    schema:name "International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/196105179#Person/tison_sophie> # Sophie Tison
    a schema:Person ;
    schema:familyName "Tison" ;
    schema:givenName "Sophie" ;
    schema:name "Sophie Tison" ;
    .

<http://experiment.worldcat.org/entity/work/data/196105179#Place/copenhagen_denmark> # Copenhagen, Denmark)
    a schema:Place ;
    schema:name "Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/196105179#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/166466291> ; # Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/1096809> # Rewriting systems (Computer science)
    a schema:Intangible ;
    schema:name "Rewriting systems (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/805020> # Algorithms
    a schema:Intangible ;
    schema:name "Algorithms"@en ;
    .

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

<http://worldcat.org/isbn/9783540456100>
    a schema:ProductModel ;
    schema:isbn "3540456104" ;
    schema:isbn "9783540456100" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/166466291> ; # Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/oclc/50041194>
    a schema:CreativeWork ;
    rdfs:label "Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings" ;
    schema:description "Print version:International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/166466291> ; # Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/166466291>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/166466291> ; # Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
    schema:dateModified "2017-09-21" ;
    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.