[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)
- 作者Divasón, Jose; Joosten, Sebastiaan; Kunčar, Ondřej; Thiemann, René; Yamada, Akihisa
- 文件大小847.03KB
- 发表时间2018
- DOI10.1145/3167103
- 页码2-13
Hyperlysinemia Associated with RetardationGhadimi, H.; Binnington, V. I.; Pecora, P. · New England Journal of Medicine · 1965
Secularism, Secularization, and Why the Difference MattersPecora, V. P. · Genre · 2011
The Lotus and the Lion: Buddhism and the British EmpirePecora, V. P. · Modern Language Quarterly · 2010
Lateral growth control in excimer laser crystallized polysiliconL. Mariucci; R. Carluccio; A. Pecora; V. Foglietti; G. Fortunato; P. Legagneux; D. Pribat; D. Della Sala; J. Stoemenos · 1999
The Politics of Postsecular Religion: Mourning Secular Futures. By Ananda AbeysekaraPecora, V. P. · Journal of the American Academy of Religion · 2010
Children Placed in Long-Term Foster Care: An Intake Profile Using the Child Behavior Checklist/4-18Armsden, G.; Pecora, P. J.; Payne, V. H.; Szatkiewicz, J. P. · Journal of Emotional and Behavioral Disorders · 2000
Correlation of Magnetic Resonance Imaging With Knee Anterolateral Ligament Anatomy: A Cadaveric StudyHelito, C. P.; Helito, P. V. P.; Bonadio, M. B.; Pecora, J. R.; Bordalo-Rodrigues, M.; Camanho, G. L.; Demange, M. K. · Orthopaedic Journal of Sports Medicine · 2015
The Reality of EthnomethodologyPiccone, P. · Telos · 1975
On the Social Situation of MusicAdorno, T. W. · Telos · 1978
Beyond Otherness or: The Spectacularization of AnthropologyFriedman, J. · Telos · 1987
Horkheimer's Pessimism and CompassionGunderson, R. · Telos · 2012
Marxist Perspectives (1978-1981) and BeyondGonzales, M. · Telos · 1981
Hayek: A Critiquede Benoist, A. · Telos · 1998
The Crisis of Capitalist DemocracyPabst, A. · Telos · 2010
Law and the Ordinary: Hart, Wittgenstein, JurisprudenceLefebvre, A. · Telos · 2011