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
Database:WorldCat
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/theoreme_church_rosser> ; # théorème Church-Rosser
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/systeme_thue> ; # système Thue
   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> ; # réécriture
   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/decidabilite> ; # décidabilité
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/konfluentes_wortersetzungssystem> ; # Konfluentes Wortersetzungssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/langage_formel> ; # langage formel
   schema:about <http://experiment.worldcat.org/entity/work/data/17482655#Topic/algorithme_knuth_bendix> ; # algorithme Knuth-Bendix
   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/algorithme_knuth_bendix> # algorithme Knuth-Bendix
    a schema:Intangible ;
   schema:name "algorithme Knuth-Bendix"@en ;
    .

<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://experiment.worldcat.org/entity/work/data/17482655#Topic/theoreme_church_rosser> # théorème Church-Rosser
    a schema:Intangible ;
   schema:name "théorème Church-Rosser"@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.