|
Publications (journal articles)
|  |
2011
In
Logical Methods in Computer Science (LMCS),
7(2),
2011.
In
Mathematical Structures in Computer Science (MSCS),
21(4),
pp. 827-859,
2011.
2009
In
Acta Cybernetica,
19(1),
pp. 357-392,
2009.
In
Applicable Algebra in Engineering, Communication and Computing (AAECC),
20(5-6),
pp. 379-425,
2009.
|