Advertisement

Reduktionssysteme

Rechnen und Schließen in gleichungsdefinierten Strukturen

  • Jürgen Avenhaus

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-X
  2. Jürgen Avenhaus
    Pages 1-8
  3. Jürgen Avenhaus
    Pages 9-41
  4. Jürgen Avenhaus
    Pages 43-75
  5. Jürgen Avenhaus
    Pages 77-160
  6. Jürgen Avenhaus
    Pages 161-211
  7. Jürgen Avenhaus
    Pages 213-214
  8. Back Matter
    Pages 215-251

About this book

Keywords

Abstrakte Datentypen Algebra Algebraische Semantik Assoziativgesetz Automatisches Beweisen Beweis Gleichung Knuth-Bendix-Vervollständigung Rechnen Reduktionssysteme Relationen Termersetzungssysteme

Authors and affiliations

  • Jürgen Avenhaus
    • 1
  1. 1.Fachbereich InformatikUniversität KaiserslauternKaiserslauternGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-79351-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58559-6
  • Online ISBN 978-3-642-79351-6
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site