Anzahl der Einträge: 1.
|
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 Thu Nov 21 01:07:49 2024 CET automatisch erstellt.
