Merkliste 
 1 Ergebnisse 
 
1

Decision Algebra : Parameterized Specification of Decision ..:

Danylenko, Antonina ; Zimmermann, Wolf ; Löwe, Welf
WADT 2012 : 21st International Workshop on Algebraic Development Techniques, 7-10 June, 2012, Salamanca, Spain.  , 2012