Anzahl der Einträge: 1.
1996
|
Baier, Christel ; Majster-Cederbaum, Mila
A Categorical Characterization of Consistency.
Wirsing, Martin
Lecture Notes in Computer Science
1101
473-486
In: Algebraic Methodology and Software Technology : 5th international conference, AMAST '96, Munich, Germany, July 1 - 5, 1996; proceedings
(1996)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sun Dec 22 01:16:38 2024 CET automatisch erstellt.
