Translating algebraic specifications to PROLOG programs

TitleTranslating algebraic specifications to PROLOG programs
Publication TypeJournal Article
Year of Publication1984
AuthorsDrosten, K., and H. - D. Ehrich
JournalBericht Nr. 84-08, Institut für Informatik
PublisherTU Braunschweig
Abstract

no