skip to content
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings

Author: Jürgen Giesl
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3467.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan).
Term rewriting and applications.
Berlin ; New York : Springer, ©2005
(DLC) 2005923620
(OCoLC)60286659
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jürgen Giesl
ISBN: 9783540320333 3540320334 3540255966 9783540255963
OCLC Number: 262680770
Notes: "This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005), which was held on April 19-21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan."--Preface.
Description: 1 online resource (xiii, 515 pages) : illustrations.
Contents: Confluent Term Rewriting Systems.- Generalized Innermost Rewriting.- Orderings for Innermost Termination.- Leanest Quasi-orderings.- Abstract Modularity.- Union of Equational Theories: An Algebraic Approach.- Equivariant Unification.- Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories.- Unification in a Class of Permutative Theories.- Dependency Pairs for Simply Typed Term Rewriting.- Universal Algebra for Termination of Higher-Order Rewriting.- Quasi-interpretations and Small Space Bounds.- A Sufficient Completeness Reasoning Tool for Partial Specifications.- Tyrolean Termination Tool.- Call-by-Value Is Dual to Call-by-Name - Reloaded.- ??-Calculus and Duality: Call-by-Name and Call-by-Value.- Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.- Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete.- Localized Fairness: A Rewriting Semantics.- Partial Inversion of Constructor Term Rewriting Systems.- Natural Narrowing for General Term Rewriting Systems.- The Finite Variant Property: How to Get Rid of Some Algebraic Properties.- Intruder Deduction for AC-Like Equational Theories with Homomorphisms.- Proving Positive Almost-Sure Termination.- Termination of Single-Threaded One-Rule Semi-Thue Systems.- On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems.- Twenty Years Later.- Open. Closed. Open..- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.- Extending the Explicit Substitution Paradigm.- Arithmetic as a Theory Modulo.- Infinitary Combinatory Reduction Systems.- Proof-Producing Congruence Closure.- The Algebra of Equality Proofs.- On Computing Reachability Sets of Process Rewrite Systems.- Automata and Logics for Unranked and Unordered Trees.
Series Title: Lecture notes in computer science, 3467.
Other Titles: RTA 2005
Responsibility: Jürgen Giesl (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/262680770> # Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "262680770" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/180735614#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Thing/rta> ; # RTA
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Topic/algorithms> ; # Algorithms
    schema:about <http://id.worldcat.org/fast/1096809> ; # Rewriting systems (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Topic/reduktionssystem> ; # Reduktionssystem
    schema:about <http://dewey.info/class/005.131/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem> ; # Termersetzungssystem
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Place/nara_2005> ; # Nara <2005>
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Thing/rewriting_applications> ; # Rewriting applications
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Topic/computers_programming_languages_general> ; # COMPUTERS--Programming Languages--General
    schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/180735614#Thing/rewriting_techniques> ; # Rewriting techniques
    schema:alternateName "RTA 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/52376428> ; # Jürgen Giesl
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_ken_japan> ; # International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan)
    schema:datePublished "2005" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/180735614> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@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/60286659> ;
    schema:name "Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings"@en ;
    schema:productID "262680770" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262680770#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/180735614#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10528371> ;
    schema:url <http://www.springerlink.com/link.asp?id=wfxa399wk8r0> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11416999> ;
    schema:url <http://dx.doi.org/10.1007/b135673> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3467> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-25596-3> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/b135673> ;
    schema:url <https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=3067526> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-25596-3> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3067526> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3467> ;
    schema:url <http://link.springer.com/10.1007/b135673> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=183372> ;
    schema:url <http://www.myilibrary.com?id=140634> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3067526> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-25596-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540255963> ;
    schema:workExample <http://worldcat.org/isbn/9783540320333> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA541302> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262680770> ;
    .


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/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_ken_japan> # International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/180735614#Place/nara_ken_japan> ; # Nara-ken, Japan)
    schema:name "International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/180735614#Place/nara_ken_japan> # Nara-ken, Japan)
    a schema:Place ;
    schema:name "Nara-ken, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/180735614#Thing/rewriting_applications> # Rewriting applications
    a schema:Thing ;
    schema:name "Rewriting applications" ;
    .

<http://experiment.worldcat.org/entity/work/data/180735614#Thing/rewriting_techniques> # Rewriting techniques
    a schema:Thing ;
    schema:name "Rewriting techniques" ;
    .

<http://experiment.worldcat.org/entity/work/data/180735614#Topic/computers_programming_languages_general> # COMPUTERS--Programming Languages--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem> # Termersetzungssystem
    a schema:Intangible ;
    schema:name "Termersetzungssystem"@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/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://viaf.org/viaf/52376428> # Jürgen Giesl
    a schema:Person ;
    schema:familyName "Giesl" ;
    schema:givenName "Jürgen" ;
    schema:name "Jürgen Giesl" ;
    .

<http://worldcat.org/isbn/9783540255963>
    a schema:ProductModel ;
    schema:isbn "3540255966" ;
    schema:isbn "9783540255963" ;
    .

<http://worldcat.org/isbn/9783540320333>
    a schema:ProductModel ;
    schema:isbn "3540320334" ;
    schema:isbn "9783540320333" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262680770> ; # Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 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/60286659>
    a schema:CreativeWork ;
    rdfs:label "Term rewriting and applications." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262680770> ; # Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262680770>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262680770> ; # Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
    schema:dateModified "2018-06-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3067526>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.