skip to content
Systems of reductions Preview this item
ClosePreview this item
Checking...

Systems of reductions

Author: B Benninghofen; S Kemmerich; Michael M Richter
Publisher: Berlin ; New York : Springer-Verlag, ©1987.
Series: Lecture notes in computer science, 277.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
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 resources (Books)
Additional Physical Format: Online version:
Benninghofen, B. (Benjamin), 1958-
Systems of reductions.
Berlin ; New York : Springer-Verlag, ©1987
(OCoLC)571895120
Online version:
Benninghofen, B. (Benjamin), 1958-
Systems of reductions.
Berlin ; New York : Springer-Verlag, ©1987
(OCoLC)607676319
Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: B Benninghofen; S Kemmerich; Michael M Richter
ISBN: 0387185984 9780387185989 3540185984 9783540185987
OCLC Number: 16982243
Description: x, 263 pages : illustrations ; 25 cm.
Details: Mode of access: World Wide Web.
Contents: General concepts from universal algebra.- Finite sets of reductions.- Infinite sets of reductions.- Automata and reductions.- Deciding algebraic properties of finitely presented monoids.
Series Title: Lecture notes in computer science, 277.
Responsibility: B. Benninghofen, S. Kemmerich, M.M. Richter.
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/16982243> # Systems of reductions
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "16982243" ;
    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/13810613#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reductie> ; # Reductie
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebra_universal_data_processing> ; # Algebra, Universal--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktionssystem> ; # Reduktionssystem
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithmes> ; # Algorithmes
    schema:about <http://id.worldcat.org/fast/804929> ; # Algebra, Universal--Data processing
    schema:about <http://id.worldcat.org/fast/872010> ; # Computer algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle> ; # Algèbre universelle
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture_systemes_de_informatique> ; # Réécriture, Systèmes de (Informatique)
    schema:about <http://id.worldcat.org/fast/1096809> ; # Rewriting systems (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle_informatique> ; # Algèbre universelle--Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algoritmen> ; # Algoritmen
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/109336115> ; # Susanne Kemmerich
    schema:contributor <http://viaf.org/viaf/85215610> ; # Michael M. Richter
    schema:copyrightYear "1987" ;
    schema:creator <http://viaf.org/viaf/85564171> ; # Benjamin Benninghofen
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/13810613> ;
    schema:genre "Electronic resources (Books)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/13810613#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/571895120> ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/607676319> ;
    schema:name "Systems of reductions"@en ;
    schema:productID "16982243" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/16982243#PublicationEvent/berlin_new_york_springer_verlag_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/13810613#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.gbv.de/dms/bowker/toc/9783540185987.pdf> ;
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:url <http://swbplus.bsz-bw.de/bsz013462970cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9780387185989> ;
    schema:workExample <http://worldcat.org/isbn/9783540185987> ;
    umbel:isLike <http://d-nb.info/871431467> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/16982243> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/13810613#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/16982243> ; # Systems of reductions
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle> # Algèbre universelle
    a schema:Intangible ;
    schema:name "Algèbre universelle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle_informatique> # Algèbre universelle--Informatique
    a schema:Intangible ;
    schema:name "Algèbre universelle--Informatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithmes> # Algorithmes
    a schema:Intangible ;
    schema:name "Algorithmes"@en ;
    schema:name "Algorithmes"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktionssystem> # Reduktionssystem
    a schema:Intangible ;
    schema:name "Reduktionssystem"@en ;
    .

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

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

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

<http://viaf.org/viaf/109336115> # Susanne Kemmerich
    a schema:Person ;
    schema:birthDate "1953" ;
    schema:familyName "Kemmerich" ;
    schema:givenName "Susanne" ;
    schema:givenName "S." ;
    schema:name "Susanne Kemmerich" ;
    .

<http://viaf.org/viaf/85215610> # Michael M. Richter
    a schema:Person ;
    schema:birthDate "1938" ;
    schema:familyName "Richter" ;
    schema:givenName "Michael M." ;
    schema:name "Michael M. Richter" ;
    .

<http://viaf.org/viaf/85564171> # Benjamin Benninghofen
    a schema:Person ;
    schema:birthDate "1958" ;
    schema:familyName "Benninghofen" ;
    schema:givenName "Benjamin" ;
    schema:givenName "B." ;
    schema:name "Benjamin Benninghofen" ;
    .

<http://worldcat.org/isbn/9780387185989>
    a schema:ProductModel ;
    schema:isbn "0387185984" ;
    schema:isbn "9780387185989" ;
    .

<http://worldcat.org/isbn/9783540185987>
    a schema:ProductModel ;
    schema:isbn "3540185984" ;
    schema:isbn "9783540185987" ;
    .

<http://www.worldcat.org/oclc/571895120>
    a schema:CreativeWork ;
    rdfs:label "Systems of reductions." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/16982243> ; # Systems of reductions
    .

<http://www.worldcat.org/oclc/607676319>
    a schema:CreativeWork ;
    rdfs:label "Systems of reductions." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/16982243> ; # Systems of reductions
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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