Edit Profile David, Robin Compute Distance To: Compute Author ID: david.robin Published as: David, R.; David, Robin Documents Indexed: 14 Publications since 1974 Co-Authors 0 single-authored 1 Bardin, Sébastien 1 Farinier, Benjamin 1 Lemerre, Matthieu Serials Fields 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 21 times in 19 Documents Cited by ▼ Year ▼ Some applications of Jensen’s coding theorem. Zbl 0489.03021David, R. 7 1982 On the asymptotic behaviour of primitive recursive algorithms. Zbl 0989.68061David, R. 4 2001 Some results on higher Suslin trees. Zbl 0715.03020David, R. 4 1990 The Inf function in the system \(F\). Zbl 0829.68072David, R. 2 1994 A functorial \(\pi ^ 1_ 2\) singleton. Zbl 0683.03031David, R. 2 1989 Two modelling approaches of winemaking: first principle and metabolic engineering. Zbl 1206.93004Charnomordic, B.; David, R.; Dochain, D.; Hilgert, N.; Mouret, J.-R.; Sablayrolles, J.-M.; Vande Wouwer, A. 1 2010 An intuitionistic \(\lambda\)-calculus with exceptions. Zbl 1063.68030David, R.; Mounier, G. 1 2005 Two modelling approaches of winemaking: first principle and metabolic engineering. Zbl 1206.93004Charnomordic, B.; David, R.; Dochain, D.; Hilgert, N.; Mouret, J.-R.; Sablayrolles, J.-M.; Vande Wouwer, A. 1 2010 An intuitionistic \(\lambda\)-calculus with exceptions. Zbl 1063.68030David, R.; Mounier, G. 1 2005 On the asymptotic behaviour of primitive recursive algorithms. Zbl 0989.68061David, R. 4 2001 The Inf function in the system \(F\). Zbl 0829.68072David, R. 2 1994 Some results on higher Suslin trees. Zbl 0715.03020David, R. 4 1990 A functorial \(\pi ^ 1_ 2\) singleton. Zbl 0683.03031David, R. 2 1989 Some applications of Jensen’s coding theorem. Zbl 0489.03021David, R. 7 1982 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 4 Friedman, Sy-David 4 Rinot, Assaf 3 David, Roee 1 Bagaria, Joan 1 Bickford, Mark 1 Borzì, Alfio 1 Brodsky, Ari Meir 1 Hamkins, Joel David 1 Herzog, Roland 1 Linetsky, David 1 Matos, Armando B. 1 Merger, Juri 1 Moschovakis, Yiannis Nicholas 1 Rahli, Vincent 1 Reitz, Jonas 1 Shelah, Saharon 1 Stanley, Lee J. 1 Valarcher, Pierre 1 Velickovic, Boban 1 Zadrożny, Włodzimierz all top 5 Cited in 10 Serials 4 The Journal of Symbolic Logic 4 Theoretical Computer Science 3 Annals of Pure and Applied Logic 2 Advances in Mathematics 1 Optimal Control Applications & Methods 1 Order 1 MSCS. Mathematical Structures in Computer Science 1 Archive for Mathematical Logic 1 Journal of the European Mathematical Society (JEMS) 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 6 Fields 16 Mathematical logic and foundations (03-XX) 6 Computer science (68-XX) 2 Combinatorics (05-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year