Edit Profile (opens in new tab) Jouannaud, Jean-Pierre Co-Author Distance Author ID: 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 all top 5 Co-Authors 13 single-authored 9 Rubio, Albert 8 Blanqui, Frédéric 8 Dershowitz, Nachum 5 Liu, Jiaxiang 5 Okada, Mitsuhiro 4 Kirchner, Claude 4 Kirchner, Hélène 4 Meseguer Guaita, José 3 Comon, Hubert 3 Klop, Jan Willem 2 Bouhoula, Adel 2 Futatsugi, Kokichi 2 Lescanne, Pierre 2 Li, Jianqi 2 Macchi, César 2 Mégrelis, Aristide 2 Strub, Pierre-Yves 1 Boudet, Alexandre 1 Chrząszcz, Jacek 1 Dincbas, Mehmet 1 Dowek, Gilles 1 Férey, Gaspard 1 Gaudel, Marie-Claude 1 Goguen, Joseph Amadee 1 Goubault-Larrecq, Jean 1 Haberstrau, Marianne 1 Kaplan, Stéphane 1 Kodratoff, Yves 1 Kounalis, Emmanuel 1 Macchi, Odile 1 Mackie, Ian 1 Marché, Claude 1 Monate, Benjamin 1 Ogawa, Mizuhito 1 Orejas, Fernando 1 Reinig, Fernand 1 Schmidt-Schauß, Manfred 1 Shao, Zhong 1 Simon, Jean-Claude 1 Treinen, Ralf 1 van Oostrom, Vincent all top 5 Serials 8 Theoretical Computer Science 8 Lecture Notes in Computer Science 4 Information and Computation 1 Information Processing Letters 1 RAIRO, Informatique Théorique 1 SIAM Journal on Computing 1 The Journal of Logic Programming 1 Journal of Symbolic Computation 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 MSCS. Mathematical Structures in Computer Science 1 Annales des Télécommunications 1 Constraints 1 Journal of the ACM 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 ACM Transactions on Computational Logic 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 70 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 4 General algebraic systems (08-XX) 2 History and biography (01-XX) 2 Information and communication theory, circuits (94-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 25 Fields 659 Computer science (68-XX) 236 Mathematical logic and foundations (03-XX) 20 Category theory; homological algebra (18-XX) 18 General algebraic systems (08-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 12 Group theory and generalizations (20-XX) 11 Information and communication theory, circuits (94-XX) 7 Combinatorics (05-XX) 5 Commutative algebra (13-XX) 3 History and biography (01-XX) 3 Number theory (11-XX) 3 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Field theory and polynomials (12-XX) 2 Associative rings and algebras (16-XX) 2 Nonassociative rings and algebras (17-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Citations by Year