537:
42:
211:(LICS) 1993–1997, Conference for Computer Science Logic (CSL) 1993–1997, International Conference on Principles and Practice of Constraint Programming (CP) since 1994, and Federated Logic Conference (FLoC) 1995–1999. Since 1997, he is member of the
204:
208:
562:
572:
487:
394:
552:
283:
354:
Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Decidable
Problems in Shallow Equational Theories (Extended Abstract)".
226:
372:
Jouannaud, J.-P.; Rubio, A. (1996). "A Recursive Path
Ordering for Higher-Order Terms in eta-Long beta-Normal Form". In
557:
255:
197:
177:
189:
417:
Jouannaud, J.-P.; Rubio, A. (2006). "Higher-Order
Orderings for Normal Rewriting". In Frank Pfenning (ed.).
363:
N. Dershowitz; J.-P. Jouannaud; J.W. Klop (1993). "More
Problems in Rewriting". In Kirchner, Claude (ed.).
577:
521:
320:
83:
185:
567:
502:
234:
173:
41:
477:
203:
He was member of the steering committee of several international computer science conferences:
517:
483:
390:
79:
137:
373:
292:
242:
193:
342:
333:
536:
473:
405:
162:
297:
278:
546:
246:
169:
68:
455:
Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples —
310:. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320.
306:
N. Dershowitz; J.-P. Jouannaud (1990). "Rewrite
Systems". In Jan van Leeuwen (ed.).
254:
J.P. Jouannaud; P. Lescanne; F. Reinig (1982). "Recursive
Decomposition Ordering".
257:
Proc. IFIP TC2 Working Conf. on Formal
Description of Programming Concepts, Vol.II
116:
Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples
17:
181:
527:
456:
440:
460:
444:
439:
Filtres digitaux autoadaptifs: algorithmes de calcul et simulation —
98:
385:
Jouannaud, J.-P. (2005). "Twenty Years Later". In Giesl, J. (ed.).
107:
Filtres digitaux autoadaptifs: algorithmes de calcul et simulation
212:
161:
is a French computer scientist, known for his work in the area of
315:
N. Dershowitz; J.-P. Jouannaud (1990). "Notations for
Rewriting".
205:
International
Conference on Rewriting Techniques and Applications
531:
345:(1991). "Open Problems in Rewriting". In Book, Ronald V. (ed.).
176:(Paris). In 1970, 1972, and 1977, he wrote his Master thesis (
378:
Rewriting
Techniques and Applications, 7th Int. Conf., RTA-96
365:
Rewriting Techniques and Applications, 5th Int. Conf., RTA-93
347:
Rewriting Techniques and Applications, 4th Int. Conf., RTA-91
270:
Rewriting Techniques and Applications, 1st Int. Conf., RTA-85
479:
Computational Logic — Essays in Honor of Alan Robinson
404:
Jouannaud, J.-P. (2006). "Modular Church-Rosser Modulo". In
356:
Seventh Annual IEEE Symposium on Logic in Computer Science
419:
Term Rewriting and Applications, 17th Int. Conf., RTA-06
410:
Term Rewriting and Applications, 17th Int. Conf., RTA-06
387:
Term Rewriting and Applications, 16th Int. Conf., RTA-05
277:
A. Boudet; J.P. Jouannaud; M. Schmidt-SchauĂź (1989).
389:. LNCS. Vol. 3467. Springer. pp. 368–375.
421:. LNCS. Vol. 4098. Springer. pp. 387–399.
380:. LNCS. Vol. 1103. Springer. pp. 108–122.
225:Jean Pierre Jouannaud; Pierre Lescanne (Sep 1982).
192:. In 1979, he became an associate professor at the
132:
97:
75:
51:
32:
412:. LNCS. Vol. 4098. Springer. pp. 96–107.
367:. LNCS. Vol. 690. Springer. pp. 468–487.
349:. LNCS. Vol. 488. Springer. pp. 445–456.
279:"Unification in Boolean Rings and Abelian Groups"
184:(Thèse de 3ème cycle), and Habilitation thesis (
8:
200:, where he became a full professor in 1986.
209:IEEE Symposium on Logic in Computer Science
172:(France). From 1967 to 1969 he visited the
535:
40:
29:
296:
432:
341:N. Dershowitz and J.-P. Jouannaud and
329:
318:
520:at Laboratoire d'Informatique (LIX),
27:French computer scientist (born 1947)
7:
268:Jouannaud, Jean-Pierre, ed. (1985).
263:. North-Holland. pp. 331–348.
25:
272:. LNCS. Vol. 202. Springer.
563:Theoretical computer scientists
284:Journal of Symbolic Computation
168:He was born on 21 May 1947 in
1:
298:10.1016/s0747-7171(89)80054-9
247:10.1016/0020-0190(82)90107-7
482:. Cambridge/MA: MIT Press.
308:Formal Models and Semantics
594:
573:École Polytechnique alumni
553:French computer scientists
196:; 1985 he changed to the
128:
90:
39:
188:), respectively, at the
227:"On Multiset Orderings"
198:Université de Paris-Sud
328:Cite journal requires
190:Université de Paris VI
528:Jean-Pierre Jouannaud
219:Selected publications
159:Jean-Pierre Jouannaud
84:Prix Michel Montpetit
34:Jean-Pierre Jouannaud
534:Bibliography Server
522:École Polytechnique
472:Jean-Louis Lassez;
358:. pp. 255–265.
235:Inf. Process. Lett.
174:Ecole Polytechnique
558:Rewriting systems
489:978-0-262-12156-9
396:978-3-540-25596-3
207:(RTA) 1989–1994,
156:
155:
92:Scientific career
80:CNRS Silver Medal
16:(Redirected from
585:
539:
505:
500:
494:
493:
469:
463:
453:
447:
437:
422:
413:
400:
381:
374:Harald Ganzinger
368:
359:
350:
337:
331:
326:
324:
316:
311:
302:
300:
273:
264:
262:
250:
231:
194:Nancy University
152:
149:
147:
145:
143:
141:
139:
121:
112:
65:
61:
59:
44:
30:
21:
593:
592:
588:
587:
586:
584:
583:
582:
543:
542:
514:
509:
508:
501:
497:
490:
476:, eds. (1991).
471:
470:
466:
454:
450:
438:
434:
429:
416:
403:
397:
384:
371:
362:
353:
340:
327:
317:
314:
305:
276:
267:
260:
253:
229:
224:
221:
136:
124:
119:
110:
71:
66:
63:
57:
55:
47:
35:
28:
23:
22:
18:J.-P. Jouannaud
15:
12:
11:
5:
591:
589:
581:
580:
575:
570:
565:
560:
555:
545:
544:
541:
540:
525:
513:
512:External links
510:
507:
506:
495:
488:
474:Gordon Plotkin
464:
448:
431:
430:
428:
425:
424:
423:
414:
406:Frank Pfenning
401:
395:
382:
369:
360:
351:
338:
330:|journal=
312:
303:
291:(5): 449–477.
274:
265:
251:
220:
217:
163:term rewriting
154:
153:
142:.polytechnique
134:
130:
129:
126:
125:
123:
122:
113:
103:
101:
95:
94:
88:
87:
77:
73:
72:
67:
53:
49:
48:
45:
37:
36:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
590:
579:
578:Living people
576:
574:
571:
569:
566:
564:
561:
559:
556:
554:
551:
550:
548:
538:
533:
529:
526:
523:
519:
516:
515:
511:
504:
499:
496:
491:
485:
481:
480:
475:
468:
465:
462:
458:
452:
449:
446:
442:
436:
433:
426:
420:
415:
411:
407:
402:
398:
392:
388:
383:
379:
375:
370:
366:
361:
357:
352:
348:
344:
339:
335:
322:
313:
309:
304:
299:
294:
290:
286:
285:
280:
275:
271:
266:
259:
258:
252:
248:
244:
240:
237:
236:
228:
223:
222:
218:
216:
214:
210:
206:
201:
199:
195:
191:
187:
183:
179:
175:
171:
170:Aix-les-Bains
166:
164:
160:
151:
135:
131:
127:
117:
114:
108:
105:
104:
102:
100:
96:
93:
89:
85:
81:
78:
74:
70:
69:Aix-les-Bains
64:(age 77)
54:
50:
43:
38:
31:
19:
498:
478:
467:
451:
435:
418:
409:
386:
377:
364:
355:
346:
321:cite journal
307:
288:
282:
269:
256:
241:(2): 57–63.
238:
233:
202:
186:Thèse d'état
167:
158:
157:
148:/Jean-Pierre
115:
106:
91:
568:1947 births
524:, Palaiseau
62:21 May 1947
547:Categories
427:References
182:PhD thesis
150:.Jouannaud
58:1947-05-21
518:Home page
343:J.W. Klop
215:council.
461:WorldCat
445:WorldCat
46:May 2008
408:(ed.).
376:(ed.).
133:Website
486:
457:record
441:record
393:
120:(1977)
118:
111:(1972)
109:
99:Theses
82:1986,
76:Awards
261:(PDF)
230:(PDF)
213:EATCS
146:/Labo
532:DBLP
503:Vita
484:ISBN
391:ISBN
334:help
140:.lix
86:2000
52:Born
530:at
459:at
443:at
293:doi
243:doi
180:),
178:DEA
144:.fr
138:www
549::
325::
323:}}
319:{{
287:.
281:.
239:15
232:.
165:.
60:)
492:.
399:.
336:)
332:(
301:.
295::
289:8
249:.
245::
56:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
