Number of items: 1.
Conference or workshop publication
|
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.]
[Conference or workshop publication]
|
|
This list was created automatically on Sat Jan 17 06:04:54 2026 CET
