×
Compute Distance To:
Author ID: kirchner.claude Recent zbMATH articles by "Kirchner, Claude"
Published as: Kirchner, Claude; Kirchner, C.
External Links: MGP · Wikidata · IdRef · theses.fr

Publications by Year

Citations contained in zbMATH Open

67 Publications have been cited 454 times in 262 Documents Cited by Year
Theorem proving modulo. Zbl 1049.03011
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
57
2003
ELAN from a rewriting logic point of view. Zbl 1001.68057
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne
25
2002
Higher order unification via explicit substitutions. Zbl 1005.03016
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
25
2000
Rewriting with strategies in \(\mathsf{ELAN}\): a functional semantics. Zbl 1319.68125
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Ringeissen, Christophe
24
2001
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
13
1988
Incremental construction of unification algorithms in equational theories. Zbl 0516.68067
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Helene
13
1983
An overview of ELAN. Zbl 0917.68022
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Ringeisen, Christophe
13
1998
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
12
1988
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0972.03012
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
12
2001
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
Controlling rewriting by rewriting. Zbl 0912.68088
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène
11
1996
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
ELAN: A logical framework based on computational systems. Zbl 0912.68091
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Vittek, Marian
9
1996
Probabilistic rewrite strategies. Applications to ELAN. Zbl 1045.68577
Bournez, Olivier; Kirchner, Claude
8
2002
Superdeduction at work. Zbl 1186.03021
Brauner, Paul; Houtmann, Clément; Kirchner, Claude
7
2007
A new equational unification method: A generalisation of Martelli- Montanari’s algorithm. Zbl 0547.03024
Kirchner, Claude
7
1984
Abstract canonical presentations. Zbl 1099.03047
Dershowitz, Nachum; Kirchner, Claude
6
2006
Proof search and proof check for equational and inductive theorems. Zbl 1278.68257
Deplagne, Eric; Kirchner, Claude; Kirchner, Hélène; Nguyen, Quang Huy
6
2003
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
6
2001
Strategic computation and deduction. Zbl 1226.03027
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
6
2008
Equational completion in order-sorted algebras. Zbl 0698.68028
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
6
1990
Equational completion in order-sorted algebras. Zbl 0647.68036
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
5
1988
Regaining cut admissibility in deduction modulo using abstract completion. Zbl 1191.68359
Burel, Guillaume; Kirchner, Claude
5
2010
REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies. Zbl 0635.68017
Kirchner, Claude; Kirchner, Hélène
5
1987
NARROWER: a new algorithm for unification and its application to logic programming. Zbl 0576.68002
Rety, Pierre; Kirchner, Claude; Kirchner, Hélène; Lescanne, Pierre
5
1985
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN. Zbl 1004.68080
Cirstea, Horatiu; Kirchner, Claude
5
2000
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
AC-unification race: The system solving approach, implementation and benchmarks. Zbl 0769.68053
Adi, Mohamed; Kirchner, Claude
4
1992
Equational logic and rewriting. Zbl 1404.03011
Kirchner, Claude; Kirchner, Hélène
4
2014
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
4
2007
Deduction versus computation: The case of induction. Zbl 1072.68569
Deplagne, Eric; Kirchner, Claude
4
2002
Dynamically typed computations for order-sorted equational presentations. Zbl 0983.68254
Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène
4
1998
External rewriting for skeptical proof assistants. Zbl 1064.68048
Nguyen, Quang Huy; Kirchner, Claude; Kirchner, Hélène
4
2002
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
Anti-pattern matching. Zbl 1155.68367
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
3
2007
Completion is an instance of abstract canonical system inference. Zbl 1132.03314
Burel, Guillaume; Kirchner, Claude
3
2006
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
3
1987
Cut elimination in deduction modulo by abstract completion. Zbl 1132.03315
Burel, Guillaume; Kirchner, Claude
3
2007
Binding logic: Proofs and models. Zbl 1023.03023
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
3
2002
Higher-order equational unification via explicit substitutions. Zbl 0888.03007
Kirchner, Claude; Ringeissen, Christophe
3
1997
Exceptions in the rewriting calculus. Zbl 1045.68069
Faure, Germain; Kirchner, Claude
3
2002
IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Zbl 0903.00070
3
1998
Narrowing based inductive proof search. Zbl 1383.03019
Kirchner, Claude; Kirchner, Hélène; Nahon, Fabrice
3
2013
Constraint solving on terms. Zbl 0976.03516
Comon, Hubert; Kirchner, Claude
3
2001
The simply typed rewriting calculus. Zbl 0962.68084
Cirstea, Horatiu; Kirchner, Claude
3
2000
Inductive proof search modulo. Zbl 1192.68631
Nahon, Fabrice; Kirchner, Claude; Kirchner, Hélène; Brauner, Paul
2
2009
The rewriting calculus as a combinatory reduction system. Zbl 1195.68051
Bertolissi, Clara; Kirchner, Claude
2
2007
Anti-pattern matching modulo. Zbl 1156.68353
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2008
Anti-patterns for rule-based languages. Zbl 1192.68563
Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2010
Toward the concurrent implementation of computational systems. Zbl 1355.68045
Alounini, Ilies; Kirchner, Claude
2
1996
Formal validation of pattern matching code. Zbl 1247.68056
Kirchner, Claude; Moreau, Pierre-Etienne; Reilles, Antoine
2
2006
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0944.03007
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
2
1999
A \(\rho\)-calculus of explicit constraint application. Zbl 1272.68172
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
2
2005
Rule-based constraint programming. Zbl 0943.68094
Kirchner, Claude; Ringeissen, Christophe
2
1998
Completion for unification. Zbl 0735.68078
Doggaz, Narjes; Kirchner, Claude
1
1991
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
Constraint based strategies. Zbl 1274.68410
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
1
2010
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Rule-based programming and proving: The ELAN experience outcomes. Zbl 1115.68367
Kirchner, Claude; Kirchner, Hélène
1
2004
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16-18, 1993. Proceedings. Zbl 0825.00068
1
1993
On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016
Blanqui, Frédéric; Kirchner, Claude; Riba, Colin
1
2006
Equational logic and rewriting. Zbl 1404.03011
Kirchner, Claude; Kirchner, Hélène
4
2014
Narrowing based inductive proof search. Zbl 1383.03019
Kirchner, Claude; Kirchner, Hélène; Nahon, Fabrice
3
2013
Regaining cut admissibility in deduction modulo using abstract completion. Zbl 1191.68359
Burel, Guillaume; Kirchner, Claude
5
2010
Anti-patterns for rule-based languages. Zbl 1192.68563
Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2010
Constraint based strategies. Zbl 1274.68410
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
1
2010
Inductive proof search modulo. Zbl 1192.68631
Nahon, Fabrice; Kirchner, Claude; Kirchner, Hélène; Brauner, Paul
2
2009
Strategic computation and deduction. Zbl 1226.03027
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
6
2008
Anti-pattern matching modulo. Zbl 1156.68353
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2008
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Superdeduction at work. Zbl 1186.03021
Brauner, Paul; Houtmann, Clément; Kirchner, Claude
7
2007
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
4
2007
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
Anti-pattern matching. Zbl 1155.68367
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
3
2007
Cut elimination in deduction modulo by abstract completion. Zbl 1132.03315
Burel, Guillaume; Kirchner, Claude
3
2007
The rewriting calculus as a combinatory reduction system. Zbl 1195.68051
Bertolissi, Clara; Kirchner, Claude
2
2007
Abstract canonical presentations. Zbl 1099.03047
Dershowitz, Nachum; Kirchner, Claude
6
2006
Completion is an instance of abstract canonical system inference. Zbl 1132.03314
Burel, Guillaume; Kirchner, Claude
3
2006
Formal validation of pattern matching code. Zbl 1247.68056
Kirchner, Claude; Moreau, Pierre-Etienne; Reilles, Antoine
2
2006
On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016
Blanqui, Frédéric; Kirchner, Claude; Riba, Colin
1
2006
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
A \(\rho\)-calculus of explicit constraint application. Zbl 1272.68172
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
2
2005
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
Rule-based programming and proving: The ELAN experience outcomes. Zbl 1115.68367
Kirchner, Claude; Kirchner, Hélène
1
2004
Theorem proving modulo. Zbl 1049.03011
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
57
2003
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
Proof search and proof check for equational and inductive theorems. Zbl 1278.68257
Deplagne, Eric; Kirchner, Claude; Kirchner, Hélène; Nguyen, Quang Huy
6
2003
ELAN from a rewriting logic point of view. Zbl 1001.68057
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne
25
2002
Probabilistic rewrite strategies. Applications to ELAN. Zbl 1045.68577
Bournez, Olivier; Kirchner, Claude
8
2002
Deduction versus computation: The case of induction. Zbl 1072.68569
Deplagne, Eric; Kirchner, Claude
4
2002
External rewriting for skeptical proof assistants. Zbl 1064.68048
Nguyen, Quang Huy; Kirchner, Claude; Kirchner, Hélène
4
2002
Binding logic: Proofs and models. Zbl 1023.03023
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
3
2002
Exceptions in the rewriting calculus. Zbl 1045.68069
Faure, Germain; Kirchner, Claude
3
2002
Rewriting with strategies in \(\mathsf{ELAN}\): a functional semantics. Zbl 1319.68125
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Ringeissen, Christophe
24
2001
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0972.03012
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
12
2001
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
6
2001
Constraint solving on terms. Zbl 0976.03516
Comon, Hubert; Kirchner, Claude
3
2001
Higher order unification via explicit substitutions. Zbl 1005.03016
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
25
2000
Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN. Zbl 1004.68080
Cirstea, Horatiu; Kirchner, Claude
5
2000
The simply typed rewriting calculus. Zbl 0962.68084
Cirstea, Horatiu; Kirchner, Claude
3
2000
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0944.03007
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
2
1999
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
An overview of ELAN. Zbl 0917.68022
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Ringeisen, Christophe
13
1998
Dynamically typed computations for order-sorted equational presentations. Zbl 0983.68254
Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène
4
1998
IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Zbl 0903.00070
3
1998
Rule-based constraint programming. Zbl 0943.68094
Kirchner, Claude; Ringeissen, Christophe
2
1998
Higher-order equational unification via explicit substitutions. Zbl 0888.03007
Kirchner, Claude; Ringeissen, Christophe
3
1997
Controlling rewriting by rewriting. Zbl 0912.68088
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène
11
1996
ELAN: A logical framework based on computational systems. Zbl 0912.68091
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Vittek, Marian
9
1996
Toward the concurrent implementation of computational systems. Zbl 1355.68045
Alounini, Ilies; Kirchner, Claude
2
1996
Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16-18, 1993. Proceedings. Zbl 0825.00068
1
1993
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
AC-unification race: The system solving approach, implementation and benchmarks. Zbl 0769.68053
Adi, Mohamed; Kirchner, Claude
4
1992
Completion for unification. Zbl 0735.68078
Doggaz, Narjes; Kirchner, Claude
1
1991
Equational completion in order-sorted algebras. Zbl 0698.68028
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
6
1990
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
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
13
1988
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
12
1988
Equational completion in order-sorted algebras. Zbl 0647.68036
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
5
1988
REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies. Zbl 0635.68017
Kirchner, Claude; Kirchner, Hélène
5
1987
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
3
1987
NARROWER: a new algorithm for unification and its application to logic programming. Zbl 0576.68002
Rety, Pierre; Kirchner, Claude; Kirchner, Hélène; Lescanne, Pierre
5
1985
A new equational unification method: A generalisation of Martelli- Montanari’s algorithm. Zbl 0547.03024
Kirchner, Claude
7
1984
Incremental construction of unification algorithms in equational theories. Zbl 0516.68067
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Helene
13
1983
all top 5

Cited by 310 Authors

31 Meseguer Guaita, José
19 Martí-Oliet, Narciso
16 Kirchner, Claude
15 Kirchner, Hélène
11 Dowek, Gilles
9 Ayala-Rincón, Mauricio
9 Durán, Francisco
8 Escobar, Santiago
8 Fernández, Maribel
7 Cirstea, Horatiu
7 Verdejo, Alberto
6 Andrei, Oana
6 Eker, Steven
6 Kesner, Delia
5 Burel, Guillaume
5 Clavel, Manuel
5 Cavalcanti de Moura, Flávio Leonardo
5 Kutsia, Temur
5 Lucas, Salvador
5 Pita, Isabel
4 Alpuente, María
4 Delahaye, David
4 Gabbay, Murdoch James
4 Hermant, Olivier
4 Houtmann, Clément
4 Jouannaud, Jean-Pierre
4 Kamareddine, Fairouz D.
4 Lincoln, Patrick D.
4 Oriat, Catherine
4 Palomino, Miguel
4 Rubio, Rubén
3 Bertolissi, Clara
3 Blanqui, Frédéric
3 Dal Lago, Ugo
3 Dershowitz, Nachum
3 Díaz-Caro, Alejandro
3 Faure, Germain
3 Futatsugi, Kokichi
3 Jiang, Ying
3 Levy, Jordi
3 Mackie, Ian
3 Marin, Mircea
3 Miller, Dale Allen
3 Moreau, Pierre-Etienne
3 Ogata, Kazuhiro
3 Roşu, Grigore
3 Talcott, Carolyn L.
3 Thati, Prasanna
3 Villaret, Mateu
3 Visser, Eelco
3 Waldmann, Uwe
2 Aiguier, Marc
2 Baldan, Paolo
2 Bonelli, Eduardo
2 Bouhoula, Adel
2 Brauner, Paul
2 Bury, Guillaume
2 Chihani, Zakaria
2 Ciobanu, Gabriel
2 Faggian, Claudia
2 Feuillade, Guillaume
2 Ganzinger, Harald
2 Genet, Thomas
2 Gnaedig, Isabelle
2 Goguen, Joseph Amadee
2 Halmagrand, Pierre
2 Hardin, Thérèse
2 Heeren, Bastiaan
2 Hintermeier, Claus
2 Jeuring, Johan
2 Kieburtz, Richard B.
2 Lämmel, Ralf
2 Liquori, Luigi
2 Lucanu, Dorel
2 Marché, Claude
2 Meadows, Catherine A.
2 Mosses, Peter D.
2 Nadathur, Gopalan
2 Nahon, Fabrice
2 Nguyen, Quang Huy
2 Ojeda, Pedro
2 Olveczky, Peter Csaba
2 Petit, Barbara
2 Pinaud, Bruno
2 Pitts, Andrew M.
2 Platzer, André
2 Popescu, Andrei
2 Qian, Zhenyu
2 Rocha-Oliveira, Ana Cristina
2 Sapiña, Julia
2 Sato, Shinya
2 Stratulat, Sorin
2 Urban, Christian
2 van den Brand, Mark G. J.
2 Viso, Andrés
2 Wack, Benjamin
2 You, Jia-Huai
1 Aguirre, Luis Antonio
1 Aichernig, Bernhard K.
1 Antonsen, Roger
...and 210 more Authors
all top 5

Cited in 40 Serials

42 Theoretical Computer Science
19 Journal of Automated Reasoning
14 Journal of Symbolic Computation
13 Information and Computation
7 The Journal of Logic and Algebraic Programming
4 Higher-Order and Symbolic Computation
4 Journal of Logical and Algebraic Methods in Programming
3 Science of Computer Programming
3 Formal Aspects of Computing
3 Applicable Algebra in Engineering, Communication and Computing
3 Diagrammes
3 Logical Methods in Computer Science
2 Annals of Pure and Applied Logic
2 MSCS. Mathematical Structures in Computer Science
2 RAIRO. Informatique Théorique et Applications
2 Journal of Applied Non-Classical Logics
2 Journal of Functional Programming
1 Acta Informatica
1 Information Processing Letters
1 Applied Mathematics and Computation
1 Journal of Computer and System Sciences
1 The Journal of Symbolic Logic
1 Notre Dame Journal of Formal Logic
1 RAIRO, Informatique Théorique
1 Studia Logica
1 Journal of Computer Science and Technology
1 International Journal of Approximate Reasoning
1 Journal of Cryptology
1 AI Communications
1 Discrete Event Dynamic Systems
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 Turkish Journal of Mathematics
1 Annals of Mathematics and Artificial Intelligence
1 Fundamenta Informaticae
1 Theory and Practice of Logic Programming
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Logica Universalis
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.