Bootstrapping the Primitive Recursive Functions by 47 Colors
暂无分享,去创建一个
[1] Allan Cheng,et al. Local Model Checking and Traces , 1994 .
[2] Arne Skou,et al. Automatic Verification of Real-Timed Systems Using EPSILON , 1994 .
[3] Peter D. Mosses,et al. An Action Semantics for ML Concurrency Primitives , 1994, FME.
[4] Lars Arge,et al. External-Storage Data Structures for Plane-Sweep Algorithms , 1994 .
[5] S. S. Wainer,et al. A classification of the ordinal recursive functions , 1970 .
[6] Søren Riis. A Fractal which violates the Axiom of Determinacy , 1994 .
[7] Glynn Winskel,et al. Petri Nets and Bisimulations , 1994 .
[8] Søren Riis. Finitisation in Bounded Arithmetic , 1994 .
[9] Sten Agerholm. LCF Examples in HOL , 1995, Comput. J..