Regular substitution sets : a means of controlling E-unification

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
62 S.
Language
Deutsch
Notes
graph. Darst.

Bibliographic citation
Arbeitspapiere der GMD / GMD-Forschungszentrum Informationstechnik ; 926

Event
Veröffentlichung
(where)
Sankt Augustin
(who)
GMD-Forschungszentrum Informationstechnik
(when)
1995
Creator
Burghardt, Jochen

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, 2:12 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

  • Burghardt, Jochen
  • GMD-Forschungszentrum Informationstechnik

Time of origin

  • 1995

Other Objects (12)