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:   Print book : Conference publication : EnglishView all editions and formats
Summary:

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.

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: Kongress
Conference papers and proceedings
Kopenhagen (2002)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Sophie Tison
ISBN: 3540439161 9783540439165
OCLC Number: 50041194
Description: xi, 385 pages : illustrations ; 24 cm.
Contents: Combining Shostak Theories / Natarajan Shankar and Harald Ruess --
Multiset Rewriting and Security Protocol Analysis / John C. Mitchell --
Engineering of Logics for the Content-Based Representation of Information / Franz Baader --
Axiomatic Rewriting Theory VI Residual Theory Revisited / Paul-Andre Mellies --
Static Analysis of Modularity of [beta]-Reduction in the Hyperbalanced [lambda]-Calculus / Richard Kennaway, Zurab Khasidashvili and Adolfo Piperno --
Exceptions in the Rewriting Calculus / Germain Faure and Claude Kirchner --
Deriving Focused Lattice Calculi / Georg Struth --
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property / Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka and Yuichi Kaji.
Series Title: Lecture notes in computer science, 2378.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Sophie Tison (ed.).
More information:

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/50041194> # Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "50041194" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/196105179#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/algorithmes_congres> ; # Algorithmes--Congrès
   schema:about <http://id.worldcat.org/fast/1096809> ; # Rewriting systems (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/reecriture_systemes_de_informatique> ; # Réécriture, Systèmes de (Informatique)
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/reduktionssystem> ; # Reduktionssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/algorithmes> ; # Algorithmes
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/computermethoden> ; # Computermethoden
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/ordinateurs_programmation_congres> ; # Ordinateurs--Programmation--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/algorithms> ; # Algorithms
   schema:about <http://dewey.info/class/005.131/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/specificatie> ; # Specificatie
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Place/kopenhagen_2002> ; # Kopenhagen <2002>
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/reecriture_systemes_de_informatique_congres> ; # Réécriture, Systèmes de (informatique)--Congrès
   schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/algebraische_logica> ; # Algebraïsche logica
   schema:about <http://experiment.worldcat.org/entity/work/data/196105179#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/47450710> ; # 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:exampleOfWork <http://worldcat.org/entity/work/id/196105179> ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kopenhagen (2002)"@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:name "Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings"@en ;
   schema:productID "50041194" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/50041194#PublicationEvent/berlin_new_york_springer_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/196105179#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/10.1007/3-540-45610-4> ;
   schema:url <http://swbplus.bsz-bw.de/bsz099741954inh.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz099741954kap.htm> ;
   schema:url <http://link.springer.de/link/service/series/0558/tocs/t2378.htm> ;
   schema:url <http://ezproxy.rice.edu/login?url=http://link.springer-ny.com/link/service/series/0558/tocs/t2378.htm> ;
   schema:url <http://dx.doi.org/10.1007/3-540-45610-4> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2378.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz099741954cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540439165> ;
   umbel:isLike <http://d-nb.info/964595656> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA248063> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/50041194> ;
    .


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#Place/copenhagen_denmark> # Copenhagen, Denmark)
    a schema:Place ;
   schema:name "Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/196105179#Place/kopenhagen_2002> # Kopenhagen <2002>
    a schema:Place ;
   schema:name "Kopenhagen <2002>" ;
    .

<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/50041194> ; # 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://experiment.worldcat.org/entity/work/data/196105179#Topic/algebraische_logica> # Algebraïsche logica
    a schema:Intangible ;
   schema:name "Algebraïsche logica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/196105179#Topic/algorithmes_congres> # Algorithmes--Congrès
    a schema:Intangible ;
   schema:name "Algorithmes--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/196105179#Topic/ordinateurs_programmation_congres> # Ordinateurs--Programmation--Congrès
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation--Congrès"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/196105179#Topic/reecriture_systemes_de_informatique_congres> # Réécriture, Systèmes de (informatique)--Congrès
    a schema:Intangible ;
   schema:name "Réécriture, Systèmes de (informatique)--Congrès"@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://link.springer.com/10.1007/3-540-45610-4>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2378.htm>
   rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/47450710> # Sophie Tison
    a schema:Person ;
   schema:familyName "Tison" ;
   schema:givenName "Sophie" ;
   schema:name "Sophie Tison" ;
    .

<http://worldcat.org/isbn/9783540439165>
    a schema:ProductModel ;
   schema:isbn "3540439161" ;
   schema:isbn "9783540439165" ;
    .

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