Kozen Dexter について
Computer Science Department, Cornell University, Ithaca, NY 14853-7501, USA について
Mamouras Konstantinos について
CIS Department, University of Pennsylvania, Philadelphia, PA 19104-6309, USA について
Silva Alexandra について
Department of Computer Science, University College London, London WC1E 6BT, UK について
Journal of Logical and Algebraic Methods in Programming について
人工知能 について
計算理論 について
代数 について
完全性 について
不完全性 について