skip to content
Confluent string rewriting Preview this item
ClosePreview this item
Checking...

Confluent string rewriting

Author: Matthias Jantzen
Publisher: Berlin ; New York : Springer-Verlag, ©1988.
Series: EATCS monographs on theoretical computer science, v. 14.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Replacement systems, such as term rewriting systems, tree manipulat- ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization,  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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Matthias Jantzen
ISBN: 0387137157 9780387137155 9783540137153 3540137157
OCLC Number: 18221107
Description: viii, 126 pages ; 25 cm.
Contents: 1. Basic Definitions.- 1.1 General Reduction Systems.- 1.2 String Rewriting.- 2. Decision Problems.- 2.1 Undecidability Results.- 2.2 Decidability Results.- 3. Congruential Languages Specified by Semi-Thue Systems.- 4. Complete STSs, Groups, and Monoids.- 4.1 Introduction and General Results.- 4.2 The STS S1 = {(abba, ?)}.- 5. The Special One-Relator STSs Snfor n > 1 and the Groups Gn.- 5.1 Definitions, Notation, and Characterization of Gnas a Semidirect Product.- 5.2 Matrix Representation of Gn in GL2(?).- 5.3 Normal Forms, Conjugates, and Homomorphisms.- 5.4 Commutativity and Unique Divisibility in Gn.- 5.5 Complete Presentation for Gn.- 5.6 Sn Has No Preperfect Equivalent.- 5.7 Irreducible Strings in STSs Equivalent to Sn.- References and Further Reading.
Series Title: EATCS monographs on theoretical computer science, v. 14.
Other Titles: String rewriting.
Responsibility: Matthias Jantzen.
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/18221107> # Confluent string rewriting
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "18221107" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/17482655#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/17482655#CreativeWork/string_rewriting> ; # String rewriting.
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/linguagens_formais_e_automatos> ; # Linguagens formais e automatos
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/herschrijfregels> ; # Herschrijfregels
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/reecriture_systemes_de_informatique> ; # Réécriture, Systèmes de (informatique)
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:about <http://id.worldcat.org/fast/1096809> ; # Rewriting systems (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/konfluentes_wortersetzungssystem> ; # Konfluentes Wortersetzungssystem
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1988" ;
   schema:creator <http://viaf.org/viaf/85206799> ; # Matthias Jantzen
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/17482655> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/17482655#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science ;
   schema:name "Confluent string rewriting"@en ;
   schema:productID "18221107" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/18221107#PublicationEvent/berlin_new_york_springer_verlag_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/17482655#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://swbplus.bsz-bw.de/bsz016643410cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9780387137155> ;
   schema:workExample <http://worldcat.org/isbn/9783540137153> ;
   umbel:isLike <http://d-nb.info/890477663> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/18221107> ;
    .


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/17482655#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/17482655#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/18221107> ; # Confluent string rewriting
   schema:name "EATCS monographs on theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/17482655#Topic/konfluentes_wortersetzungssystem> # Konfluentes Wortersetzungssystem
    a schema:Intangible ;
   schema:name "Konfluentes Wortersetzungssystem"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/17482655#Topic/linguagens_formais_e_automatos> # Linguagens formais e automatos
    a schema:Intangible ;
   schema:name "Linguagens formais e automatos"@en ;
    .

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

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

<http://viaf.org/viaf/85206799> # Matthias Jantzen
    a schema:Person ;
   schema:birthDate "1948" ;
   schema:familyName "Jantzen" ;
   schema:givenName "Matthias" ;
   schema:name "Matthias Jantzen" ;
    .

<http://worldcat.org/isbn/9780387137155>
    a schema:ProductModel ;
   schema:isbn "0387137157" ;
   schema:isbn "9780387137155" ;
    .

<http://worldcat.org/isbn/9783540137153>
    a schema:ProductModel ;
   schema:isbn "3540137157" ;
   schema:isbn "9783540137153" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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