×

Jouannaud, Jean-Pierre

Author ID: jouannaud.jean-pierre Recent zbMATH articles by "Jouannaud, Jean-Pierre"
Published as: Jouannaud, Jean-Pierre; Jouannaud, J.-P.
Documents Indexed: 65 Publications since 1971
10 Contributions as Editor
Biographic References: 1 Publication
Co-Authors: 41 Co-Authors with 60 Joint Publications
833 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 963 times in 707 Documents Cited by Year
Rewrite systems. Zbl 0900.68283
Dershowitz, Nachum; Jouannaud, Jean-Pierre
426
1990
Completion of a set of rules modulo a set of equations. Zbl 0665.03005
Jouannaud, Jean-Pierre; Kirchner, Hélène
109
1986
Specification and proof in membership equational logic. Zbl 0938.68057
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J.
66
2000
Automatic proofs by induction in theories without constructors. Zbl 0682.68032
Jouannaud, Jean-Pierre; Kounalis, Emmanuel
44
1989
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
19
1985
Satisfiability of systems of ordinal notations with the subterm property is decidable. Zbl 0789.68125
Jouannaud, Jean-Pierre; Okada, Mitsuhiro
18
1991
Notations for rewriting. Zbl 0745.68115
Dershowitz, Nachum; Jouannaud, Jean-Pierre
17
1991
On multiset orderings. Zbl 0486.68041
Jouannaud, Jean-Pierre; Lescanne, Pierre
16
1982
Recursive decomposition ordering. Zbl 0513.68026
Jouannaud, Jean-Pierre; Lescanne, Pierre; Reinig, Fernand
16
1983
Incremental construction of unification algorithms in equational theories. Zbl 0516.68067
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Helene
16
1983
Inductive-data-type systems. Zbl 0992.68121
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
16
2002
Polymorphic higher-order recursive path orderings. Zbl 1312.68040
Jouannaud, Jean-Pierre; Rubio, Albert
16
2007
Syntacticness, cycle-syntacticness and shallow theories. Zbl 0807.68062
Comon, Hubert; Haberstrau, Marianne; Jouannaud, Jean-Pierre
16
1994
Unification in Boolean rings and Abelian groups. Zbl 0689.68040
Boudet, Alexandre; Jouannaud, Jean-Pierre; Schmidt-Schauss, Manfred
12
1989
Abstract data type systems. Zbl 0901.68121
Jouannaud, Jean-Pierre; Okada, Mitsuhiro
10
1997
Termination and completion modulo associativity, commutativity and identity. Zbl 0759.68047
Jouannaud, Jean-Pierre; Marché, Claude
10
1992
Automata-driven automated induction. Zbl 1008.03009
Bouhoula, Adel; Jouannaud, Jean-Pierre
10
2001
Open problems in rewriting. Zbl 1503.68100
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
9
1991
Termination of a set of rules modulo a set of equations. Zbl 0546.68077
Jouannaud, Jean-Pierre; Munoz, Miguel
8
1984
The calculus of algebraic constructions. Zbl 0943.68153
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
8
1999
The computability path ordering. Zbl 1448.68253
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
7
2015
Confluent and coherent equational term rewriting systems application to proofs in abstract data types. Zbl 0522.68013
Jouannaud, Jean-Pierre
6
1983
The computability path ordering: The end of a quest. Zbl 1156.68568
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
6
2008
Church-Rosser properties of normal rewriting. Zbl 1252.68159
Jouannaud, Jean-Pierre; Li, Jianqi
6
2012
More problems in rewriting. Zbl 1508.68149
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
6
1993
Drags: a compositional algebraic framework for graph rewriting. Zbl 1423.68229
Dershowitz, Nachum; Jouannaud, Jean-Pierre
6
2019
Construction d’un plus petit ordre de simplification. Zbl 0541.68013
Jouannaud, J. P.; Kirchner, H.
5
1984
Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering. Zbl 0912.68103
Jouannaud, Jean-Pierre; Rubio, Albert
5
1998
Programming with equalities, subsorts, overloading, and parametrization in OBJ. Zbl 0754.68021
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Hélène; Mégrelis, Aristide
4
1992
Diagrammatic confluence and completion. Zbl 1248.68277
Jouannaud, Jean-Pierre; van Oostrom, Vincent
4
2009
Higher-order orderings for normal rewriting. Zbl 1151.68449
Jouannaud, Jean-Pierre; Rubio, Albert
4
2006
From diagrammatic confluence to modularity. Zbl 1253.68197
Jouannaud, Jean-Pierre; Liu, Jiaxiang
4
2012
Graph path orderings. Zbl 1415.68116
Dershowitz, Nachum; Jouannaud, Jean-Pierre
4
2018
Higher-order termination: From Kruskal to computability. Zbl 1165.03343
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
3
2006
HORPO with computability closure: A reconstruction. Zbl 1137.03307
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
3
2007
Modular Church-Rosser modulo. Zbl 1151.68448
Jouannaud, Jean-Pierre
3
2006
Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Zbl 1113.68005
2
2006
Building decision procedures in the calculus of inductive constructions. Zbl 1179.68135
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Strub, Pierre-Yves
2
2007
Syntactic theories. Zbl 0790.68103
Jouannaud, Jean-Pierre
2
1990
Constraints in computational logics. 1st international conference, CCL ’94, Munich, Germany, September 7–9, 1994. Proceedings. Zbl 0802.00038
2
1994
Confluence by critical pair analysis. Zbl 1416.68094
Liu, Jiaxiang; Dershowitz, Nachum; Jouannaud, Jean-Pierre
2
2014
Confluence of layered rewrite systems. Zbl 1373.68276
Liu, Jiaxiang; Jouannaud, Jean-Pierre; Ogawa, Mizuhito
2
2015
Problems in rewriting. III. Zbl 1504.68089
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
2
1995
The blossom of finite semantic trees. Zbl 1383.03017
Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre
2
2013
Confluence: the unifying, expressive power of locality. Zbl 1407.68101
Liu, Jiaxiang; Jouannaud, Jean-Pierre
2
2014
Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8–10, 1987. Proceedings. Zbl 0639.00039
1
1988
Rewrite proofs and computations. Zbl 0832.68062
Jouannaud, Jean-Pierre
1
1995
Functional programming languages and computer architecture, 2nd Conference, Nancy, France, September 16-19, 1985. Zbl 0566.00026
1
1985
Rewriting techniques and applications. (First International Conference), Dijon, France, May 20-22, 1985. Zbl 0568.00022
1
1985
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
Recepteurs adaptatifs pour transmission de données à grande vitesse. Zbl 0327.94009
Macchi, César; Jouannaud, Jean-Pierre; Macchi, Odile
1
1976
OBJ: Programming with equalities, subsorts, overloading and parameterization. Zbl 0708.68007
Jouannaud, J.-P.; Kirchner, C.; Kirchner, Hélène; Mégrelis, A.
1
1989
Normal higher-order termination. Zbl 1354.68140
Jouannaud, Jean-Pierre; Rubio, Albert
1
2015
Termination of dependently typed rewrite rules. Zbl 1367.68140
Jouannaud, Jean-Pierre; Li, Jianqi
1
2015
Corrigendum to: “Inductive-data-type systems”. Zbl 1432.68210
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
1
2020
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. Zbl 1512.68128
Dowek, Gilles; Férey, Gaspard; Jouannaud, Jean-Pierre; Liu, Jiaxiang
1
2022
Coq without type casts: a complete proof of Coq Modulo Theory. Zbl 1403.68227
Jouannaud, Jean-Pierre; Strub, Pierre-Yves
1
2017
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. Zbl 1512.68128
Dowek, Gilles; Férey, Gaspard; Jouannaud, Jean-Pierre; Liu, Jiaxiang
1
2022
Corrigendum to: “Inductive-data-type systems”. Zbl 1432.68210
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
1
2020
Drags: a compositional algebraic framework for graph rewriting. Zbl 1423.68229
Dershowitz, Nachum; Jouannaud, Jean-Pierre
6
2019
Graph path orderings. Zbl 1415.68116
Dershowitz, Nachum; Jouannaud, Jean-Pierre
4
2018
Coq without type casts: a complete proof of Coq Modulo Theory. Zbl 1403.68227
Jouannaud, Jean-Pierre; Strub, Pierre-Yves
1
2017
The computability path ordering. Zbl 1448.68253
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
7
2015
Confluence of layered rewrite systems. Zbl 1373.68276
Liu, Jiaxiang; Jouannaud, Jean-Pierre; Ogawa, Mizuhito
2
2015
Normal higher-order termination. Zbl 1354.68140
Jouannaud, Jean-Pierre; Rubio, Albert
1
2015
Termination of dependently typed rewrite rules. Zbl 1367.68140
Jouannaud, Jean-Pierre; Li, Jianqi
1
2015
Confluence by critical pair analysis. Zbl 1416.68094
Liu, Jiaxiang; Dershowitz, Nachum; Jouannaud, Jean-Pierre
2
2014
Confluence: the unifying, expressive power of locality. Zbl 1407.68101
Liu, Jiaxiang; Jouannaud, Jean-Pierre
2
2014
The blossom of finite semantic trees. Zbl 1383.03017
Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre
2
2013
Church-Rosser properties of normal rewriting. Zbl 1252.68159
Jouannaud, Jean-Pierre; Li, Jianqi
6
2012
From diagrammatic confluence to modularity. Zbl 1253.68197
Jouannaud, Jean-Pierre; Liu, Jiaxiang
4
2012
Diagrammatic confluence and completion. Zbl 1248.68277
Jouannaud, Jean-Pierre; van Oostrom, Vincent
4
2009
The computability path ordering: The end of a quest. Zbl 1156.68568
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
6
2008
Polymorphic higher-order recursive path orderings. Zbl 1312.68040
Jouannaud, Jean-Pierre; Rubio, Albert
16
2007
HORPO with computability closure: A reconstruction. Zbl 1137.03307
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
3
2007
Building decision procedures in the calculus of inductive constructions. Zbl 1179.68135
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Strub, Pierre-Yves
2
2007
Higher-order orderings for normal rewriting. Zbl 1151.68449
Jouannaud, Jean-Pierre; Rubio, Albert
4
2006
Higher-order termination: From Kruskal to computability. Zbl 1165.03343
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
3
2006
Modular Church-Rosser modulo. Zbl 1151.68448
Jouannaud, Jean-Pierre
3
2006
Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Zbl 1113.68005
2
2006
Inductive-data-type systems. Zbl 0992.68121
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
16
2002
Automata-driven automated induction. Zbl 1008.03009
Bouhoula, Adel; Jouannaud, Jean-Pierre
10
2001
Specification and proof in membership equational logic. Zbl 0938.68057
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J.
66
2000
The calculus of algebraic constructions. Zbl 0943.68153
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
8
1999
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering. Zbl 0912.68103
Jouannaud, Jean-Pierre; Rubio, Albert
5
1998
Abstract data type systems. Zbl 0901.68121
Jouannaud, Jean-Pierre; Okada, Mitsuhiro
10
1997
Problems in rewriting. III. Zbl 1504.68089
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
2
1995
Rewrite proofs and computations. Zbl 0832.68062
Jouannaud, Jean-Pierre
1
1995
Syntacticness, cycle-syntacticness and shallow theories. Zbl 0807.68062
Comon, Hubert; Haberstrau, Marianne; Jouannaud, Jean-Pierre
16
1994
Constraints in computational logics. 1st international conference, CCL ’94, Munich, Germany, September 7–9, 1994. Proceedings. Zbl 0802.00038
2
1994
More problems in rewriting. Zbl 1508.68149
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
6
1993
Termination and completion modulo associativity, commutativity and identity. Zbl 0759.68047
Jouannaud, Jean-Pierre; Marché, Claude
10
1992
Programming with equalities, subsorts, overloading, and parametrization in OBJ. Zbl 0754.68021
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Hélène; Mégrelis, Aristide
4
1992
Satisfiability of systems of ordinal notations with the subterm property is decidable. Zbl 0789.68125
Jouannaud, Jean-Pierre; Okada, Mitsuhiro
18
1991
Notations for rewriting. Zbl 0745.68115
Dershowitz, Nachum; Jouannaud, Jean-Pierre
17
1991
Open problems in rewriting. Zbl 1503.68100
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
9
1991
Rewrite systems. Zbl 0900.68283
Dershowitz, Nachum; Jouannaud, Jean-Pierre
426
1990
Syntactic theories. Zbl 0790.68103
Jouannaud, Jean-Pierre
2
1990
Automatic proofs by induction in theories without constructors. Zbl 0682.68032
Jouannaud, Jean-Pierre; Kounalis, Emmanuel
44
1989
Unification in Boolean rings and Abelian groups. Zbl 0689.68040
Boudet, Alexandre; Jouannaud, Jean-Pierre; Schmidt-Schauss, Manfred
12
1989
OBJ: Programming with equalities, subsorts, overloading and parameterization. Zbl 0708.68007
Jouannaud, J.-P.; Kirchner, C.; Kirchner, Hélène; Mégrelis, A.
1
1989
Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8–10, 1987. Proceedings. Zbl 0639.00039
1
1988
Completion of a set of rules modulo a set of equations. Zbl 0665.03005
Jouannaud, Jean-Pierre; Kirchner, Hélène
109
1986
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
19
1985
Functional programming languages and computer architecture, 2nd Conference, Nancy, France, September 16-19, 1985. Zbl 0566.00026
1
1985
Rewriting techniques and applications. (First International Conference), Dijon, France, May 20-22, 1985. Zbl 0568.00022
1
1985
Termination of a set of rules modulo a set of equations. Zbl 0546.68077
Jouannaud, Jean-Pierre; Munoz, Miguel
8
1984
Construction d’un plus petit ordre de simplification. Zbl 0541.68013
Jouannaud, J. P.; Kirchner, H.
5
1984
Recursive decomposition ordering. Zbl 0513.68026
Jouannaud, Jean-Pierre; Lescanne, Pierre; Reinig, Fernand
16
1983
Incremental construction of unification algorithms in equational theories. Zbl 0516.68067
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Helene
16
1983
Confluent and coherent equational term rewriting systems application to proofs in abstract data types. Zbl 0522.68013
Jouannaud, Jean-Pierre
6
1983
On multiset orderings. Zbl 0486.68041
Jouannaud, Jean-Pierre; Lescanne, Pierre
16
1982
Recepteurs adaptatifs pour transmission de données à grande vitesse. Zbl 0327.94009
Macchi, César; Jouannaud, Jean-Pierre; Macchi, Odile
1
1976
all top 5

Cited by 620 Authors

42 Meseguer Guaita, José
21 Middeldorp, Aart
19 Dershowitz, Nachum
19 Jouannaud, Jean-Pierre
17 Martí-Oliet, Narciso
16 Escobar, Santiago
13 Durán, Francisco
13 Kirchner, Claude
12 Comon, Hubert
12 Fernández, Maribel
12 Klop, Jan Willem
12 Narendran, Paliath
10 Gramlich, Bernhard
10 Kirchner, Hélène
10 Nieuwenhuis, Robert
10 Rubio, Albert
10 Rusinowitch, Michaël
10 Waldmann, Uwe
9 Baader, Franz
9 Blanqui, Frédéric
9 Bonacina, Maria Paola
9 Lucas, Salvador
9 Treinen, Ralf
8 Alpuente, María
8 Dowek, Gilles
8 Jacquemard, Florent
8 Kapur, Deepak
8 Riesco, Adrián
8 van Oostrom, Vincent
8 Verdejo, Alberto
8 Zantema, Hans
7 Marché, Claude
6 Antoy, Sergio
6 Bouhoula, Adel
6 Bündgen, Reinhard
6 Hsiang, Jieh
6 Otto, Friedrich
6 Rao, M. R. K. Krishna
6 Ringeissen, Christophe
6 Sénizergues, Géraud
6 Zhang, Hantao
5 Bachmair, Leo
5 Boudet, Alexandre
5 Cirstea, Horatiu
5 Clavel, Manuel
5 Contejean, Evelyne
5 Corradini, Andrea
5 Eker, Steven
5 Falaschi, Moreno
5 Goguen, Joseph Amadee
5 Hermann, Miki
5 Hofbauer, Dieter
5 Inverardi, Paola
5 Lescanne, Pierre
5 Nipkow, Tobias
5 Ranise, Silvio
5 Reddy, Uday S.
5 Rubio, Rubén
5 Talcott, Carolyn L.
5 Toyama, Yoshihito
5 Urbain, Xavier
5 Vágvölgyi, Sándor
5 Verma, Rakesh M.
4 Antimirov, Valentin M.
4 Armando, Alessandro
4 Avenhaus, Jürgen
4 Blanchette, Jasmin Christian
4 Caballero, Rafael E.
4 Cantone, Domenico
4 Coquidé, Jean-Luc
4 Dauchet, Max
4 Delaune, Stéphanie
4 Diaconescu, Răzvan
4 Dougherty, Daniel J.
4 Endrullis, Jörg
4 Erbatur, Serdar
4 Ferreira, Maria C. F.
4 Ganzinger, Harald
4 Hamana, Makoto
4 Hirokawa, Nao
4 Iborra, José
4 Lugiez, Denis
4 Marshall, Andrew M.
4 Martin, Ursula
4 Nesi, Monica
4 Nicolosi Asmundo, Marianna
4 Ohlebusch, Enno
4 Overbeek, Roy
4 Oyamaguchi, Michio
4 Plump, Detlef
4 Rocha, Camilo
4 Sakai, Masahiko
4 Schmidt-Schauß, Manfred
4 Snyder, Wayne
4 Stehr, Mark-Oliver
4 Steinbach, Joachim
4 van Bakel, Steffen
4 Voronkov, Andrei
3 Ariola, Zena M.
3 Arrighi, Pablo
...and 520 more Authors
all top 5

Cited in 62 Serials

130 Theoretical Computer Science
51 Information and Computation
39 Journal of Symbolic Computation
32 Journal of Automated Reasoning
19 Information Processing Letters
15 Journal of Logical and Algebraic Methods in Programming
13 Applicable Algebra in Engineering, Communication and Computing
9 MSCS. Mathematical Structures in Computer Science
9 The Journal of Logic and Algebraic Programming
7 Higher-Order and Symbolic Computation
6 Artificial Intelligence
6 Formal Aspects of Computing
5 Annals of Pure and Applied Logic
5 Logical Methods in Computer Science
4 Acta Informatica
4 Journal of Computer and System Sciences
4 Annals of Mathematics and Artificial Intelligence
3 Journal of Pure and Applied Algebra
3 RAIRO, Informatique Théorique
3 ACM Transactions on Computational Logic
2 Discrete Mathematics
2 The Journal of Symbolic Logic
2 Mathematical Systems Theory
2 Journal of Computer Science and Technology
2 Journal of Functional Programming
2 Theory of Computing Systems
2 Fundamenta Informaticae
2 Theory and Practice of Logic Programming
2 Journal of Applied Logic
2 Logica Universalis
1 Algebra Universalis
1 BIT
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Czechoslovak Mathematical Journal
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Notre Dame Journal of Formal Logic
1 Semigroup Forum
1 Science of Computer Programming
1 International Journal of Approximate Reasoning
1 Machine Learning
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Discrete Event Dynamic Systems
1 Annales de l’Institut Henri Poincaré. Nouvelle Série. Section B. Calcul des Probabilités et Statistique
1 Distributed Computing
1 RAIRO. Informatique Théorique et Applications
1 Cybernetics and Systems Analysis
1 Experimental Mathematics
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Diagrammes
1 Constraints
1 Journal of the ACM
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Systems Science and Complexity
1 Journal of Algebra and its Applications
1 Journal of Discrete Algorithms
1 The Review of Symbolic Logic
1 Formalized Mathematics
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Membrane Computing

Citations by Year