GASTIN P. について
LSV, ENS Cachan and INRIA and CNRS, Cachan, FRA について
KUSKE D. について
LSV, ENS Cachan and INRIA and CNRS, Cachan, FRA について
KUSKE D. について
Univ. Bordeaux i, Talence, FRA について
Information and Computation について
跡 について
時間論理 について
充足可能性問題 について