Ciabattoni Agata について
Vienna University of Technology, Austria について
Lellmann Bjorn について
Vienna University of Technology, Austria について
Olarte Carlos について
Universidade Federal do Rio Grande do Norte, Brazil について
Pimentel Elaine について
Universidade Federal do Rio Grande do Norte, Brazil について
Electronic Notes in Theoretical Computer Science について
演繹 について
定理証明 について
決定問題 について
シーケント計算 について
有界 について
計算理論 について
論理代数 について
計算 について
演えき について
有界 について
収縮 について