Edit Profile (opens in new tab) van Daalen, Diederik Ton Co-Author Distance Author ID: van-daalen.diederik-ton Published as: van Daalen, D. T.; van Daalen, Diederik Ton External Links: MGP Documents Indexed: 1 Publication since 1980, including 1 Book 1 Contribution as Editor · 1 Further Contribution Co-Authors: 4 Co-Authors with 2 Joint Publications 66 Co-Co-Authors Co-Authors 1 single-authored 2 van Benthem Jutting, L. S. 1 de Vrijer, R. C. 1 Geuvers, Jan Herman 1 Nederpelt, R. P. Serials 1 Studies in Logic and the Foundations of Mathematics Fields 3 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 49 times in 47 Documents Cited by ▼ Year ▼ Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 29 1994 The language theory of Automath. Zbl 0422.68045 van Daalen, Diederik Ton 20 1980 Checking Landau’s ”Grundlagen” in the AUTOMATH system. With nine appendices; the first one (A description of AUTOMATH and some aspects of its language theory) by D. T. van Daalen. Zbl 0352.68105 van Benthem Jutting, L. S. 15 1977 Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 29 1994 The language theory of Automath. Zbl 0422.68045 van Daalen, Diederik Ton 20 1980 Checking Landau’s ”Grundlagen” in the AUTOMATH system. With nine appendices; the first one (A description of AUTOMATH and some aspects of its language theory) by D. T. van Daalen. Zbl 0352.68105 van Benthem Jutting, L. S. 15 1977 all cited Publications top 5 cited Publications all top 5 Cited by 53 Authors 9 Kamareddine, Fairouz D. 6 Nederpelt, Rob 4 Geuvers, Jan Herman 3 Ayala-Rincón, Mauricio 3 Bloo, Roel 3 Cavalcanti de Moura, Flávio Leonardo 3 Harper, Robert 2 Cohen, Arjeh Marcel 2 Coquand, Thierry 2 Curien, Pierre-Louis 2 Ghelli, Giorgio 2 Huet, Gerard P. 2 Laan, Twan 2 Lyaletski, Alexander V. 2 Paskevich, Andrei 2 Pym, David J. 2 Sannella, Donald T. 2 Seldin, Jonathan P. 2 Sørensen, Morten Heine B. 2 Tarlecki, Andrzej 2 Troelstra, Anne Sjerp 2 Verchinine, Konstantin 2 Wiedijk, Freek 1 Alama, Jesse 1 Anisimov, Anatoly V. 1 Barbosa, A. V. 1 Barendregt, Hendrik Pieter 1 Barthe, Gilles 1 Bezem, Marc 1 Blanqui, Frédéric 1 Byliński, Czesław 1 Caprotti, Olga 1 de Bruijn, Nicolaas Govert 1 Fleuriot, Jacques D. 1 Graziani, Pierluigi 1 Hatcliff, John 1 Hendriks, Dimitri 1 Klop, Jan Willem 1 Luo, Zhaohui 1 Matthews, Seán 1 McKinna, James 1 Palmer, Jake E. 1 Pfenning, Frank 1 Pollack, Robert 1 Quaresma, Pedro 1 Rose, Kristoffer Høgsbro 1 Schmoetten, Richard 1 Severi, Paula Gabriela 1 van Benthem Jutting, L. S. 1 van Raamsdonk, Femke 1 Wallen, Lincoln A. 1 Weber, Matthias 1 Xi, Hongwei all top 5 Cited in 13 Serials 7 Theoretical Computer Science 4 Annals of Pure and Applied Logic 4 Information and Computation 3 Journal of Symbolic Computation 3 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 The Journal of Logic and Algebraic Programming 2 Journal of Applied Logic 1 Studia Logica 1 Indagationes Mathematicae. New Series 1 Fundamenta Informaticae 1 Sādhanā 1 Logical Methods in Computer Science all top 5 Cited in 7 Fields 36 Computer science (68-XX) 30 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Geometry (51-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year