-
1
A categorical model of predicate linear logic
Veröffentlicht in Journal of Applied Mathematics and Computational Mechanics
VolltextArtikel -
2
GAME SEMANTICS OF THE TRANSACTION ROLLBACK DATABASE OPERATION
Veröffentlicht in Acta electrotechnica et informatica
VolltextArtikel