J. Krivine
发表
J. Krivine,
1979
.
J. Krivine,
1990
.
J. Krivine,
Anneaux préordonnés,
1964
.
J. Krivine,
J. Bretagnolle,
Didier Dacunha Castelle,
1967
.
J. Krivine,
J. L. Krivine,
1974
.
J. Krivine,
Jean-Louis Krivine,
1974
.
J. Krivine,
Yves Legrandgérard,
2007
.
J. Krivine,
2006
.
J. Krivine,
2014
.
D. Dacunha-castelle,
J. Krivine,
1977
.
J. Krivine,
Jean Krivine,
2006
.
J. Krivine,
Jean-Louis Krivine,
1972
.
J. Krivine,
B. Maurey,
B. Maurey,
1981
.
D. Dacunha-castelle,
J. Krivine,
D. Dacunha-Castelle,
1972
.
Jean-Louis Krivine,
J. Krivine,
1990,
Arch. Math. Log..
Jean-Louis Krivine,
J. Krivine,
1991,
RAIRO Theor. Informatics Appl..
J. Krivine,
J. L. Krivine,
1976
.
J. Krivine,
1979
.