skip to content
Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings Preview this item
ClosePreview this item
Checking...

Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings

Author: Paliath Narendran; M Rusinowitch
Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 1999.
Series: Lecture notes in computer science, 1631
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications, RTA-99, held in Trento, Italy in July 1999 as part of FLoC'99. The 23 revised full papers presented were carefully selected from a total of 53 submissions. Also included are four system descriptions as well as three invited contributions. Among the topics covered are constraint solving,  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
Additional Physical Format: Printed edition
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Paliath Narendran; M Rusinowitch
ISBN: 9783540486855 3540486852 9783540662013 3540662014
OCLC Number: 769772824
Language Note: English.
Description: 1 online resource.
Contents: Session 1 --
Solved Forms for Path Ordering Constraints --
Jeopardy --
Strategic Pattern Matching --
Session 2: --
On the Strong Normalization of Natural Deduction with Permutation-Conversions --
Normalisation in Weakly Orthogonal Rewriting --
Strong Normalization of Proof Nets Modulo Structural Congruences --
Session 3: Invited Talk --
Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas --
Session 4: --
Undecidability of the Part of the Theory of Ground Term Algebra Modulo an AC Symbol --
Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting --
A New Result about the Decidability of the Existential One-Step Rewriting Theory --
Session 5: --
A Fully Syntactic AC-RPO --
Theory Path Orderings --
A Characterisation of Multiply Recursive Functions with Higman's Lemma --
Session 6: --
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors --
Normalization via Rewrite Closures --
Test Sets for the Universal and Existential Closure of Regular Tree Languages --
Session 7: Invited Tutorial --
Higher-Order Rewriting --
Session 8: System Descriptions --
The Maude System --
TOY: A Multiparadigm Declarative System --
UniMoK: A System for Combining Equational Unification Algorithms --
: A Laboratory for Rapid Term Graph Rewriting --
Session 9: --
Decidability for Left-Linear Growing Term Rewriting Systems --
Transforming Context-Sensitive Rewrite Systems --
Context-Sensitive AC-rewriting --
Session 10: --
The Calculus of Algebraic Constructions --
HOL-??: An Intentional First-Order Expression of Higher-Order Logic --
Session 11: Invited Talk --
On the Connections between Rewriting and Formal Language Theory --
Session 12: --
A Rewrite System Associated with Quadratic Pisot Units --
Fast Rewriting of Symmetric Polynomials --
On Implementation of Tree Synchronized Languages.
Series Title: Lecture notes in computer science, 1631
Responsibility: edited by Paliath Narendran, Michael Rusinowitch.

Abstract:

This book constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications, RTA-99, held in Trento, Italy in July 1999 as part of FLoC'99. The 23 revised full papers presented were carefully selected from a total of 53 submissions. Also included are four system descriptions as well as three invited contributions. Among the topics covered are constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems, etc.

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/769772824> # Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "769772824" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/354065357#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/354065357#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
    schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
    schema:about <http://id.worldcat.org/fast/1096809> ; # Rewriting systems (Computer science)
    schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/354065357#Topic/algorithms> ; # Algorithms
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/354065357#Topic/computer_programming> ; # Computer programming
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/17893778> ; # Michael Rusinowitch
    schema:contributor <http://viaf.org/viaf/77163548> ; # Paliath Narendran
    schema:datePublished "1999" ;
    schema:description "This book constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications, RTA-99, held in Trento, Italy in July 1999 as part of FLoC'99. The 23 revised full papers presented were carefully selected from a total of 53 submissions. Also included are four system descriptions as well as three invited contributions. Among the topics covered are constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems, etc."@en ;
    schema:description "Session 1 -- Solved Forms for Path Ordering Constraints -- Jeopardy -- Strategic Pattern Matching -- Session 2: -- On the Strong Normalization of Natural Deduction with Permutation-Conversions -- Normalisation in Weakly Orthogonal Rewriting -- Strong Normalization of Proof Nets Modulo Structural Congruences -- Session 3: Invited Talk -- Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas -- Session 4: -- Undecidability of the Part of the Theory of Ground Term Algebra Modulo an AC Symbol -- Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting -- A New Result about the Decidability of the Existential One-Step Rewriting Theory -- Session 5: -- A Fully Syntactic AC-RPO -- Theory Path Orderings -- A Characterisation of Multiply Recursive Functions with Higman's Lemma -- Session 6: -- Deciding the Word Problem in the Union of Equational Theories Sharing Constructors -- Normalization via Rewrite Closures -- Test Sets for the Universal and Existential Closure of Regular Tree Languages -- Session 7: Invited Tutorial -- Higher-Order Rewriting -- Session 8: System Descriptions -- The Maude System -- TOY: A Multiparadigm Declarative System -- UniMoK: A System for Combining Equational Unification Algorithms -- : A Laboratory for Rapid Term Graph Rewriting -- Session 9: -- Decidability for Left-Linear Growing Term Rewriting Systems -- Transforming Context-Sensitive Rewrite Systems -- Context-Sensitive AC-rewriting -- Session 10: -- The Calculus of Algebraic Constructions -- HOL-??: An Intentional First-Order Expression of Higher-Order Logic -- Session 11: Invited Talk -- On the Connections between Rewriting and Formal Language Theory -- Session 12: -- A Rewrite System Associated with Quadratic Pisot Units -- Fast Rewriting of Symmetric Polynomials -- On Implementation of Tree Synchronized Languages."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/354065357> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/354065357#CreativeWork/> ;
    schema:name "Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings"@en ;
    schema:productID "769772824" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/769772824#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/354065357#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/3-540-48685-2> ;
    schema:url <http://link.springer.com/10.1007/3-540-48685-2> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3072319> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-66201-3> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/3-540-48685-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540662013> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-48685-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540486855> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/769772824> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/354065357#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
    schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<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/804890> # Algebra--Data processing
    a schema:Intangible ;
    schema:name "Algebra--Data processing"@en ;
    .

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

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

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

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

<http://viaf.org/viaf/17893778> # Michael Rusinowitch
    a schema:Person ;
    schema:familyName "Rusinowitch" ;
    schema:givenName "Michael" ;
    schema:givenName "M." ;
    schema:name "Michael Rusinowitch" ;
    .

<http://viaf.org/viaf/77163548> # Paliath Narendran
    a schema:Person ;
    schema:familyName "Narendran" ;
    schema:givenName "Paliath" ;
    schema:name "Paliath Narendran" ;
    .

<http://worldcat.org/entity/work/data/354065357#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/769772824> ; # Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings
    .

<http://worldcat.org/isbn/9783540486855>
    a schema:ProductModel ;
    schema:isbn "3540486852" ;
    schema:isbn "9783540486855" ;
    .

<http://worldcat.org/isbn/9783540662013>
    a schema:ProductModel ;
    schema:isbn "3540662014" ;
    schema:isbn "9783540662013" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/769772824> ; # Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/769772824>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/769772824> ; # Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings
    schema:dateModified "2018-02-09" ;
    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.