Mechanizing the metatheory of LF
- 期刊名称ACM Transactions on Computational Logic
- 作者Urban, Christian; Cheney, James; Berghofer, Stefan
- 卷第12卷
- 期第2期
- 印刷ISSN1529-3785
- 文件大小680.92KB
- 发表时间2011-01-01
- DOI10.1145/1877714.1877721
- 页码1-42
同期刊推荐
The Art of Bacterial WarfareFinlay, B. Brett · Scientific American · 2010
Pre-Columbian Surface MetallurgyLechtman, Heather · Scientific American · 1984
A Revolution in ElectronicsRidenour, Louis N. · Scientific American · 1951
The Lost Cities of PeruSchaedel, Richard P. · Scientific American · 1951
LettersSchaedel, Richard P. · Scientific American · 1951
Science and the CitizenWalford, Lionel A. · Scientific American · 1951
Hybrid CornMangelsdorf, Paul C. · Scientific American · 1951
Heart MuscleMangelsdorf, Paul C. · Scientific American · 1951