×

zbMATH — the first resource for mathematics

David, Robin

Compute Distance To:
Author ID: david.robin Recent zbMATH articles by "David, Robin"
Published as: David, R.; David, Robin
Documents Indexed: 14 Publications since 1974

Serials

Publications by Year

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.03021
David, R.
7
1982
On the asymptotic behaviour of primitive recursive algorithms. Zbl 0989.68061
David, R.
4
2001
Some results on higher Suslin trees. Zbl 0715.03020
David, R.
4
1990
The Inf function in the system \(F\). Zbl 0829.68072
David, R.
2
1994
A functorial \(\pi ^ 1_ 2\) singleton. Zbl 0683.03031
David, R.
2
1989
Two modelling approaches of winemaking: first principle and metabolic engineering. Zbl 1206.93004
Charnomordic, 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.68030
David, R.; Mounier, G.
1
2005
Two modelling approaches of winemaking: first principle and metabolic engineering. Zbl 1206.93004
Charnomordic, 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.68030
David, R.; Mounier, G.
1
2005
On the asymptotic behaviour of primitive recursive algorithms. Zbl 0989.68061
David, R.
4
2001
The Inf function in the system \(F\). Zbl 0829.68072
David, R.
2
1994
Some results on higher Suslin trees. Zbl 0715.03020
David, R.
4
1990
A functorial \(\pi ^ 1_ 2\) singleton. Zbl 0683.03031
David, R.
2
1989
Some applications of Jensen’s coding theorem. Zbl 0489.03021
David, R.
7
1982

Citations by Year