Department of Computer Science, Chalmers University of Technology;
机译:1类局部基元递归的Ackermann函数的不可定义性
机译:原始递归和原始迭代的证明理论说明
机译:原始递归和原始迭代的证明理论说明
机译:修复类型构造函数和原始递归
机译:入门的计算机科学学生对递归的理解中的现象学基元。
机译:在福尔马林固定石蜡包埋的组织上使用针对EWSR1的新型荧光原位杂交探针对尤文氏肉瘤/原始神经外胚层肿瘤和其他具有EWS重排的小圆形细胞肿瘤进行临床诊断的实用方法
机译:类型构造函数和原始递归的固定点