Artifact Details

Title

Universitaet Passau Fakultaet fuer Mathematik und Informatik [University of Passau, Faculty of Mathematics and Computer Science]

Catalog Number

102714724

Type

Text

Date

1985-1986

Publisher

Universit├Ąt Passau (University of Passau)

Extent

1 folder

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.

Category

Technical Report

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Technical reports

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010