Hochschulschrift | Online-Publikation

Termination of rewriting : extensions, comparison and automatic generation of simplification orderings

Location
Deutsche Nationalbibliothek Frankfurt am Main
Language
Englisch
Notes
Kaiserslautern, Univ., Diss., 1994

Keyword
Termersetzungssystem
Terminierung

Creator

URN
urn:nbn:de:bsz:386-kluedo-712
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:29 AM CEST

Data provider

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

Object type

  • Hochschulschrift
  • Online-Publikation

Associated

Other Objects (12)