Diaconescu Denisa について
Faculty of Mathematics and Computer Science, University of Bucharest, Romania について
Leustean Ioana について
Faculty of Mathematics and Computer Science, University of Bucharest, Romania について
IEEE Conference Proceedings について
完全性 について
ゲーム意味論 について
計算理論 について
論理代数 について
論理 について
ゲーム意味論 について