Parametric algebraic specifications with Gentzen formulas free functor semantics and correctness

Bibliographische Detailangaben

1. Verfasser:	Loewe, Michael (VerfasserIn)
Weitere Verfasser:	Wolter, Uwe (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin 1992
Schriftenreihe:	Bericht / Technische Universität Berlin, Fachbereich 20, Informatik 92,7
Schlagworte:
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!