Untersuchungen von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
65 Bl.
Language
Deutsch
Notes
1 graph. Darst.
Literaturverz. Bl. 61 - 65

Bibliographic citation
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht 1988,12

Event
Veröffentlichung
(where)
Berlin
(who)
Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU
(when)
1988
Creator
Brzoska, Christoph

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:56 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Brzoska, Christoph
  • Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU

Time of origin

  • 1988

Other Objects (12)

Experiments with multi-threated Knuth Bendix completion

Experiments with multi-threated Knuth Bendix completion

Declarative Graph Algorithms via Knuth-Bendix Completion

Declarative Graph Algorithms via Knuth-Bendix Completion

Termination of Ground Non-Symmetric Knuth-Bendix Completion

Termination of Ground Non-Symmetric Knuth-Bendix Completion

About changing the ordering during Knuth-Bendix completion

About changing the ordering during Knuth-Bendix completion

An implementation and investigation of the Knuth-Bendix completion procedure

An implementation and investigation of the Knuth-Bendix completion procedure

Knuth

Akten

Knuth

Knuth

Akten

Knuth

Knuth

Akten

Knuth

Knuth

Akten

Knuth

Knuth

Akten

Knuth

Knuth

Akten

Knuth

Knuth

Akten

Knuth

Related objects