• Medientyp: E-Book
  • Titel: Systems of reductions
  • Beteiligte: Benninghofen, Benjamin [Verfasser:in]; Kemmerich, Susanne [Verfasser:in]; Richter, Michael M. [Verfasser:in]
  • Erschienen: Berlin [u.a.]: Springer, 1987
    Online-Ausg., Berlin [u.a.]: Springer, 2006
  • Erschienen in: Lecture notes in computer science ; 27700
  • Umfang: Online-Ressource (X, 263 S.)
  • Sprache: Englisch
  • DOI: 10.1007/3-540-18598-4
  • ISBN: 9783540480266
  • Identifikator:
  • RVK-Notation: SS 4800 : Lecture notes in computer science
    ST 120 : Grundlagen der Informatik
  • Schlagwörter: Reduktionssystem
  • Reproduktionsreihe: Springer lecture notes archive
  • Art der Reproduktion: Online-Ausg.
  • Hersteller der Reproduktion: Berlin [u.a.]: Springer, 2006
  • Entstehung:
  • Anmerkungen: Literaturverz. S. [256] - 263
  • Beschreibung: General concepts from universal algebra -- Finite sets of reductions -- Infinite sets of reductions -- Automata and reductions -- Deciding algebraic properties of finitely presented monoids.