skip to content
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings Preview this item
ClosePreview this item
Checking...

Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

Author: Robert Nieuwenhuis
Publisher: Berlin : Springer, ©2003.
Series: Lecture notes in computer science, 2706.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system  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: Congrès
Additional Physical Format: Print version:
International Conference on Rewriting Techniques and Applications (14e : 2003 : Valence, Espagne).
Rewriting techniques and applications.
Berlin : Springer, ©2003
(DLC) 2003052969
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Robert Nieuwenhuis
ISBN: 3540448810 9783540448815
OCLC Number: 424385790
Notes: Titre de l'écran-titre (visionné le 14 juil. 2008).
Description: 1 online resource.
Contents: Cover --
Table of Contents --
Invited Talk: Symbolic Systems Biology --
Confluence as a Cut Elimination Property --
Associative-Commutative Rewriting on Large Terms --
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms --
Efficient Reductions with Director Strings --
Rewriting Logic and Probabilities --
The Maude 2.0 System --
Diagrams for Meaning Preservation --
Expression Reduction Systems with Patterns --
Residuals in Higher-Order Rewriting --
Rewriting UNITY --
New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols --
An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation --
Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties --
Rule-Based Analysis of Dimensional Safety --
Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems --
On the Complexity of Higher-Order Matching in the Linear -Calculus --
XML Schema, Tree Logic and Sheaves Automata --
Size-Change Termination for Term Rewriting --
Monotonic AC-Compatible Semantic Path Orderings --
Relating Derivation Lengths with the Slow-Growing Hierarchy Directly --
Tsukuba Termination Tool --
Liveness in Rewriting --
Validation of the JavaCard Platform with Implicit Induction Techniques --
"Term Partition" for Mathematical Induction --
Equational Prover of THEOREMA --
Termination of Simply Typed Term Rewriting by Translation and Labelling --
Rewriting Modulo in Deduction Modulo --
Termination of String Rewriting Rules That Have One Pair of Overlaps --
Environments for Term Rewriting Engines for Free! --
Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference --
A Rewriting Alternative to Reidemeister-Schreier --
Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) --
Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism --
Testing Extended Regular Language Membership Incrementally by Rewriting --
Author Index.
Series Title: Lecture notes in computer science, 2706.
Responsibility: Robert Nieuwenhuis (ed.).

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/424385790> # Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "424385790" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4923118954#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/4923118954#Topic/algorithmes> ; # Algorithmes
    schema:about <http://experiment.worldcat.org/entity/work/data/4923118954#Topic/reecriture_systemes_de_informatique> ; # Réécriture, Systèmes de (Informatique)
    schema:about <http://dewey.info/class/004/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4923118954#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/10527494> ; # Robert Nieuwenhuis
    schema:copyrightYear "2003" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4923118954#Meeting/international_conference_on_rewriting_techniques_and_applications_14e_2003_valence_espagne> ; # International Conference on Rewriting Techniques and Applications (14e : 2003 : Valence, Espagne)
    schema:datePublished "2003" ;
    schema:description "Cover -- Table of Contents -- Invited Talk: Symbolic Systems Biology -- Confluence as a Cut Elimination Property -- Associative-Commutative Rewriting on Large Terms -- A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms -- Efficient Reductions with Director Strings -- Rewriting Logic and Probabilities -- The Maude 2.0 System -- Diagrams for Meaning Preservation -- Expression Reduction Systems with Patterns -- Residuals in Higher-Order Rewriting -- Rewriting UNITY -- New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols -- An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation -- Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties -- Rule-Based Analysis of Dimensional Safety -- Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems -- On the Complexity of Higher-Order Matching in the Linear -Calculus -- XML Schema, Tree Logic and Sheaves Automata -- Size-Change Termination for Term Rewriting -- Monotonic AC-Compatible Semantic Path Orderings -- Relating Derivation Lengths with the Slow-Growing Hierarchy Directly -- Tsukuba Termination Tool -- Liveness in Rewriting -- Validation of the JavaCard Platform with Implicit Induction Techniques -- "Term Partition" for Mathematical Induction -- Equational Prover of THEOREMA -- Termination of Simply Typed Term Rewriting by Translation and Labelling -- Rewriting Modulo in Deduction Modulo -- Termination of String Rewriting Rules That Have One Pair of Overlaps -- Environments for Term Rewriting Engines for Free! -- Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference -- A Rewriting Alternative to Reidemeister-Schreier -- Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) -- Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism -- Testing Extended Regular Language Membership Incrementally by Rewriting -- Author Index." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4923118954> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4923118954#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4923118954#CreativeWork/rewriting_techniques_and_applications> ;
    schema:name "Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings" ;
    schema:productID "424385790" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/424385790#PublicationEvent/berlin_springer_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4923118954#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=80485> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-40254-1> ;
    schema:workExample <http://worldcat.org/isbn/9783540448815> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/424385790> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4923118954#Meeting/international_conference_on_rewriting_techniques_and_applications_14e_2003_valence_espagne> # International Conference on Rewriting Techniques and Applications (14e : 2003 : Valence, Espagne)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4923118954#Place/valence_espagne> ; # Valence, Espagne)
    schema:name "International Conference on Rewriting Techniques and Applications (14e : 2003 : Valence, Espagne)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4923118954#Place/valence_espagne> # Valence, Espagne)
    a schema:Place ;
    schema:name "Valence, Espagne)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4923118954#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/424385790> ; # Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4923118954#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4923118954#Topic/reecriture_systemes_de_informatique> # Réécriture, Systèmes de (Informatique)
    a schema:Intangible ;
    schema:name "Réécriture, Systèmes de (Informatique)"@fr ;
    .

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

<http://viaf.org/viaf/10527494> # Robert Nieuwenhuis
    a schema:Person ;
    schema:familyName "Nieuwenhuis" ;
    schema:givenName "Robert" ;
    schema:name "Robert Nieuwenhuis" ;
    .

<http://worldcat.org/entity/work/data/4923118954#CreativeWork/rewriting_techniques_and_applications>
    a schema:CreativeWork ;
    rdfs:label "Rewriting techniques and applications." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/424385790> ; # Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
    .

<http://worldcat.org/isbn/9783540448815>
    a schema:ProductModel ;
    schema:isbn "3540448810" ;
    schema:isbn "9783540448815" ;
    .

<http://www.worldcat.org/title/-/oclc/424385790>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/424385790> ; # Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
    schema:dateModified "2018-05-17" ;
    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.