- Jean-Pierre
Jouannaud is a
French computer scientist,
known for his work in the area of term rewriting. He was born on 21 May 1947 in Aix-les-Bains (France)...
-
denote the same
value in
every Boolean ring. More generally, Boudet,
Jouannaud, and Schmidt-Schauß (1989) gave an
algorithm to
solve equations between...
-
defined to be
identical with confluence.
Nachum Dershowitz and Jean-Pierre
Jouannaud "Rewrite Systems",
Chapter 6 in Jan van
Leeuwen (Ed.),
Handbook of Theoretical...
-
Jouannaud (1990), sect.2.1, p.251 Dershowitz,
Jouannaud (1990), sect.5.1, p.270 Dershowitz,
Jouannaud (1990), sect.2.2, p.252 Dershowitz,
Jouannaud (1990)...
- pp. 52–66. J. A. Goguen; T. Winkler; J. Meseguer; K. ****atsugi; J.-P.
Jouannaud (2000), "Introducing OBJ", in J. A. Goguen; G.
Malcolm (eds.), Software...
-
connectives can be
brought into
negation normal form first.
Dershowitz &
Jouannaud 1990, p. 270, Sect.5.1.
Smullyan 1968, p. 14: "Make a truth-table for...
-
Cambridge University Press. p. 2. ISBN 0-521-39115-6. Dershowitz, Nachum;
Jouannaud, Jean-Pierre (1990). "6.
Rewrite Systems". In Jan van
Leeuwen (ed.). Handbook...
-
Dershowitz & J.-P.
Jouannaud (1990). "Notations for Rewriting". {{cite journal}}: Cite
journal requires |journal= (help) Dershowitz, N. and
Jouannaud, J.-P. and...
-
combination of mpo and lpo,
called recursive path
ordering by Dershowitz,
Jouannaud (1990) Dershowitz,
Okada (1988) list more variants, and
relate them to...
-
Corollary 2
Martin &
Nipkow 1986 Kandri-Rody,
Kapur &
Narendran 1985 Boudet,
Jouannaud & Schmidt-Schauß 1989 Atiyah,
Michael Francis; Macdonald, I. G. (1969)...
