Title
Universitaet Passau Fakultaet fuer Mathematik und Informatik [University of Passau, Faculty of Mathematics and Computer Science]
Catalog Number
102714724
Type
Document
Description
Hussmann: Unification in Conditional-Equational Theories; Geser and Hussmann: Rapid Prototyping for Algebraic Specifications - Examples for the use of the RAP system; Geser: A Specification of the Intel 8085 Microprocessor - a Case Study.
Date
1985-1986
Publisher
Universität Passau (University of Passau)
Extent
1 folder
Category
Technical Report
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Technical reports
Credit
Gift of Herbert Stoyan
