Kristiansen Lars について
Department of Informatics, University of Oslo, Norway について
Kristiansen Lars について
Department of Mathematics, University of Oslo, Norway について
Science of Computer Programming について
プログラミング言語 について
計算量 について
複雑性 について
可逆計算 について
可逆プログラミング言語 について
陰的計算の複雑さ について
複雑性クラス について
Turing機械 について
計算理論 について