Stéphane Kaplan

发表

Stéphane Kaplan, 1988, MFCS.

Christine Choppy, Stéphane Kaplan, C. Choppy, 1989, RTA.

Christine Choppy, Stéphane Kaplan, C. Choppy, 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

Stéphane Kaplan, S. Kaplan, 1987, J. Symb. Comput..

Stéphane Kaplan, S. Kaplan, 1988, CTRS.

Stéphane Kaplan, 1984, ADT.

Stéphane Kaplan, 1988, Theor. Comput. Sci..

Michèle Soria, Christine Choppy, Stéphane Kaplan, 1987, RTA.

Nachum Dershowitz, David A. Plaisted, Stéphane Kaplan, 1989, ICALP.

Christine Choppy, Michel Bidoit, Frédéric Voisin, 1987, STACS.

Stéphane Kaplan, N. Lichtenstein, 1990, CTRS.

Mitsuhiro Okada, Stéphane Kaplan, 1990 .

Stéphane Kaplan, 1988, FSTTCS.

Christine Choppy, Michel Bidoit, Frédéric Voisin, 1987, CTRS.

Michèle Soria, Christine Choppy, Stéphane Kaplan, 1989, Theor. Comput. Sci..

Stéphane Kaplan, S. Kaplan, 1987, RTA.

Stéphane Kaplan, Jean-Luc Remy, 1989 .

Stéphane Kaplan, S. Kaplan, 1986, ESOP.

Stéphane Kaplan, S. Kaplan, 1984, Theor. Comput. Sci..

Nachum Dershowitz, Stéphane Kaplan, 1989, POPL '89.

Nachum Dershowitz, David A. Plaisted, Stéphane Kaplan, 1991, Theor. Comput. Sci..

Stéphane Kaplan, Marianne Choquer, 1986, Bull. EATCS.

Christine Choppy, G. Guiho, Stéphane Kaplan, 1985, TAPSOFT, Vol.1.

Jean-Pierre Jouannaud, Stéphane Kaplan, 1988 .