Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen

TitleÜber Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
Publication TypeArtwork
Year of Publication1988
AuthorsDrosten, K.
PublisherTechnische Universität Braunschweig
Abstract

no

Publicno