The smallest upravel
- 作者Richard S. Bird
- 卷第18卷
- 期第3期
- 印刷ISSN0167-6423
- 文件大小642.49KB
- 发表时间1992
- DOI10.1016/0167-6423(92)90020-c
- 页码281-292
同作者推荐
Smoothsort revisitedCoenraad Bron; Wim H. Hesselink · 1991
LR-parsing derivedWim H. Hesselink · 1992
Interpretations of recursion under unbounded nondeterminacyWim H. Hesselink · 1988
Processes and formalisms for unbounded choiceWim H. Hesselink · 1992
Formalizing a Hierarchical File SystemWim H. Hesselink; M.I. Lali · 2009
Simulation Refinement for Concurrency VerificationWim H. Hesselink · 2008
A challenge for atomicity verificationWim H. Hesselink · 2008
Repetitions, known or unknown?Wim H. Hesselink · 1991