A CORRESPONDENCE BETWEEN ALGOL 60 AND CHURCHS LAMBDA-NOTATION .1.

LANDIN, PJ

doi:10.1145/363744.363749

1965-02-01

144

LANDIN, PJ

DOI：10.1145/363744.363749

原文链接

查看原文

摘要

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

暂无机构信息

引用论文

Development and evaluation of loop-mediated isothermal amplification assay for detection of Crimean Congo hemorrhagic fever virus in Sudan

Journal of Virological Methods

IF0

2013-06-01

PREAI

Hana A.M. Osman; Kamal H. Eltom; Nasreen O. Musa; Nasreldin M. Bilal; Mustafa I. Elbashir; Imadeldin E. Aradaib

DESIGN OF A SEPARABLE TRANSITION-DIAGRAM COMPILER

COMMUNICATIONS OF THE ACM

IF12.2

1963-07-01

171

OAAI

CONWAY, ME

SOME PROPOSALS FOR IMPROVING THE EFFICIENCY OF ALGOL-60

COMMUNICATIONS OF THE ACM

IF12.2

1961-11-01

OAAI

STRACHEY, C; WILKES, MV

REVISED REPORT ON THE ALGORITHMIC LANGUAGE ALGOL-60

COMMUNICATIONS OF THE ACM

IF12.2

1963-01-01

OAAI

BACKUS, JW; BAUER, FL; GREEN, J; KATZ, C; MCCARTHY, J; PERLIS, AJ; RUTISHAUSER, H; SAMELSON, K; VAUQUOIS, B; WEGSTEIN, JH; VANWIJNGAARDEN, A; WOODGER, M