DE EN
SLUB – Leading Knowledge
  • Starting page
EN
Deutsch Englisch
  • Catalog Help

All fields

Search in field:

  • All fields
  • Person/Institution
  • Title
  • Keyword
  • Bar-code
  • ISBN/ISSN/ISMN/DOI
  • RVK notation
  • Shelf-mark
  • Publisher/place
  • Series
  • Provenance

Recently searched for:

  • Catalog Help
  • > Bookmarks
  • > My account
  • > Ask for information
Skip to Content Skip to Facets
2 results
> Ergebnisse

Skip to contents

  1. Sattler-Klein, Andrea [Author]

    A systematic study of infinite canonical systems generated by Knuth-Bendix completion : and related problems

    Books
    Close

    > Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    1996

  2. Göbel, Richard [Author]

    A completion procedure for generating ground confluent term rewriting systems

    Books
    Close

    > Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    1988

2 results

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.
Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Suchergebnisse filtern

> Access

Skip to next facet

    Online

    Both

    Offline

    > Media type

    Skip to next facet

    > Year of publication

    Skip to next facet

      > Availability

      Skip to next facet

      > Location

      Skip to next facet

      > Access State

      Skip to next facet

      > Language

      Skip to next facet

      > Subject

      Skip to next facet

      > Creator

      Skip to next facet

      > Collection

      Skip to next facet
      Scroll to top
      • Legal Notice
      • Privacy
      • Contact
      • TU Dresden
      • Directions
      Facebook YouTube