Komendantskaya Ekaterina について
Department of Computer Science, Heriot-Watt University, Edinburgh, UK について
Power John について
Department of Computer Science, University of Bath, BA2 7AY, UK について
Journal of Logical and Algebraic Methods in Programming について
論理プログラミング について
余代数 について
共帰納的導出ツリー について
Lawvere理論 について
Lax変換 について
飽和 について
計算機システム開発 について
計算理論 について
論理プログラミング について
緩み について
飽和 について