×
Compute Distance To:
Author ID: pfenning.frank Recent zbMATH articles by "Pfenning, Frank"
Published as: Pfenning, Frank; Pfenning, F.
External Links: MGP · Wikidata · IdRef

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 800 times in 472 Documents Cited by Year
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
92
1991
A judgmental reconstruction of modal logic. Zbl 0997.03020
Pfenning, Frank; Davies, Rowan
54
2001
Session types as intuitionistic linear propositions. Zbl 1287.68125
Caires, Luís; Pfenning, Frank
53
2010
A modal analysis of staged computation. Zbl 1323.68107
Davies, Rowan; Pfenning, Frank
50
2001
A concurrent logical framework: The propositional fragment. Zbl 1100.68548
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
37
2004
Contextual modal type theory. Zbl 1367.03060
Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte
33
2008
A linear logical framework. Zbl 1031.03056
Cervesato, Iliano; Pfenning, Frank
26
2002
Logic programming in the LF logical framework. Zbl 0760.68014
Pfenning, Frank
25
1991
Linear logic propositions as session types. Zbl 1361.68162
Caires, Luís; Pfenning, Frank; Toninho, Bernardo
23
2016
Logical frameworks. Zbl 0992.03038
Pfenning, Frank
18
2001
Higher-order processes, functions, and sessions: a monadic integration. Zbl 1381.68063
Toninho, Bernardo; Caires, Luis; Pfenning, Frank
17
2013
A logical characterization of forward and backward chaining in the inverse method. Zbl 1151.03006
Chaudhuri, Kaustuv; Pfenning, Frank; Price, Greg
17
2008
Structural cut elimination. I: Intuitionistic and classical logic. Zbl 1005.03049
Pfenning, Frank
16
2000
TPS: A theorem-proving system for classical type theory. Zbl 0858.03017
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
16
1996
On equivalence and canonical forms in the LF type theory. Zbl 1367.03055
Harper, Robert; Pfenning, Frank
15
2005
Polarized substructural session types. Zbl 1459.68042
Pfenning, Frank; Griffith, Dennis
14
2015
A probabilistic language based upon sampling functions. Zbl 1369.68083
Park, Sungwoo; Pfenning, Frank; Thrun, Sebastian
14
2005
Elf: A language for logic definition and verified metaprogramming. Zbl 0716.68079
Pfenning, Frank
14
1989
A linear spine calculus. Zbl 1041.03007
Cervesato, Iliano; Pfenning, Frank
12
2003
Behavioral polymorphism and parametricity in session-based communication. Zbl 1381.68197
Caires, Luís; Pérez, Jorge A.; Pfenning, Frank; Toninho, Bernardo
11
2013
Linear logical relations and observational equivalences for session-based concurrency. Zbl 1309.68141
Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo
11
2014
Proof-carrying code in a session-typed process calculus. Zbl 1350.68204
Pfenning, Frank; Caires, Luis; Toninho, Bernardo
11
2011
Primitive recursion for higher-order abstract syntax. Zbl 0994.68028
Schürmann, C.; Despeyroux, J.; Pfenning, F.
10
2001
Monitors and blame assignment for higher-order session types. Zbl 1347.68269
Jia, Limin; Gommerstadt, Hannah; Pfenning, Frank
9
2016
Intersection types and computational effects. Zbl 1321.68147
Davies, Rowan; Pfenning, Frank
9
2000
Tridirectional typechecking. Zbl 1325.68062
Dunfield, Joshua; Pfenning, Frank
8
2004
Primitive recursion for higher-order abstract syntax. Zbl 1063.03511
Despeyroux, Joëlle; Pfenning, Frank; Schürmann, Carsten
8
1997
Imogen: Focusing the polarized inverse method for intuitionistic propositional logic. Zbl 1182.68212
McLaughlin, Sean; Pfenning, Frank
8
2008
A coverage checking algorithm for LF. Zbl 1279.68295
Schürmann, Carsten; Pfenning, Frank
8
2003
Efficient resource management for linear logic proof search. Zbl 0958.03010
Cervesato, Iliano; Hodas, Joshua S.; Pfenning, Frank
7
2000
On the undecidability of partial polymorphic type reconstruction. Zbl 0789.03017
Pfenning, Frank
7
1993
Staged computation with names and necessity. Zbl 1085.68025
Nanevski, Aleksandar; Pfenning, Frank
7
2005
Automated theorem proving in a simple meta-logic for LF. Zbl 0924.03024
Schürmann, Carsten; Pfenning, Frank
7
1998
Automating higher-order logic. Zbl 0551.68075
Andrews, Peter B.; Miller, Dale A.; Cohen, Eve Longini; Pfenning, Frank
7
1984
Linear logical relations for session-based concurrency. Zbl 1352.68189
Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo
7
2012
Cut reduction in linear logic as asynchronous session-typed communication. Zbl 1252.03141
DeYoung, Henry; Caires, Luís; Pfenning, Frank; Toninho, Bernardo
6
2012
Focusing the inverse method for linear logic. Zbl 1136.03338
Chaudhuri, Kaustuv; Pfenning, Frank
6
2005
On a modal lambda calculus for S4. Zbl 0908.03018
Pfenning, Frank; Wong, Hao-Chi
6
1995
Algorithms for equality and unification in the presence of notational definitions. Zbl 0942.03014
Pfenning, Frank; Schürmann, Carsten
5
1999
On the unification problem for Cartesian closed categories. Zbl 0882.03044
Narendran, Paliath; Pfenning, Frank; Statman, Richard
5
1997
Type assignment for intersections and unions in call-by-value languages. Zbl 1029.68098
Dunfield, Joshua; Pfenning, Frank
5
2003
Analytic and non-analytic proofs. Zbl 0547.03032
Pfenning, Frank
5
1984
Session-typed concurrent contracts. Zbl 1418.68025
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank
5
2018
Corecursion and non-divergence in session-typed processes. Zbl 1444.68124
Toninho, Bernardo; Caires, Luis; Pfenning, Frank
4
2014
Implementing the meta-theory of deductive systems. Zbl 0925.03062
Pfenning, Frank; Rohwedder, Ekkehard
4
1992
Metacircularity in the polymorphic \(\lambda\)-calculus. Zbl 0736.03003
Pfenning, Frank; Lee, Peter
4
1991
Functions as session-typed processes. Zbl 1352.68191
Toninho, Bernardo; Caires, Luis; Pfenning, Frank
4
2012
A focusing inverse method theorem prover for first-order linear logic. Zbl 1135.68554
Chaudhuri, Kaustuv; Pfenning, Frank
4
2005
Efficient intuitionistic theorem proving with the polarized inverse method. Zbl 1250.03019
McLaughlin, Sean; Pfenning, Frank
4
2009
Work analysis with resource-aware session types. Zbl 07298755
Das, Ankush; Hoffmann, Jan; Pfenning, Frank
3
2018
A monadic analysis of information flow security with mutable state. Zbl 1077.68019
Crary, Karl; Kliger, Aleksey; Pfenning, Frank
3
2005
On proving syntactic properties of CPS programs. Zbl 0958.68022
Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank
3
1999
A logical characterization of forward and backward chaining in the inverse method. Zbl 1222.68358
Chaudhuri, Kaustuv; Pfenning, Frank; Price, Greg
3
2006
Natural deduction for intuitionistic non-commutative linear logic. Zbl 0931.03071
Polakow, Jeff; Pfenning, Frank
3
1999
TPS: A theorem proving system for classical type theory. Zbl 1226.03026
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
3
2008
Optimizing higher-order pattern unification. Zbl 1278.68278
Pientka, Brigitte; Pfenning, Frank
3
2003
A message-passing interpretation of adjoint logic. Zbl 07363402
Pruiksma, Klaas; Pfenning, Frank
3
2021
Logical frameworks – a brief introduction. Zbl 1097.68541
Pfenning, Frank
2
2002
A module system for a programming language based on the LF logical framework. Zbl 0902.68031
Harper, Robert; Pfenning, Frank
2
1998
Higher-order pattern complement and the strict \(\lambda\)-calculus. Zbl 1365.68155
Momigliano, Alberto; Pfenning, Frank
2
2003
Linear logical algorithms. Zbl 1155.68349
Simmons, Robert J.; Pfenning, Frank
2
2008
Logical approximation for program analysis. Zbl 1256.68045
Simmons, Robert J.; Pfenning, Frank
2
2011
Refinement types as proof irrelevance. Zbl 1202.68107
Lovas, William; Pfenning, Frank
2
2009
Reasoning about staged computation (abstract of invited talk). Zbl 1044.68555
Pfenning, Frank
1
2000
Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic. Zbl 0926.03076
Polakow, Jeff; Pfenning, Frank
1
1999
Substructural proofs as automata. Zbl 1485.03251
DeYoung, Henry; Pfenning, Frank
1
2016
Intuitionistic letcc via labelled deduction. Zbl 1347.03061
Reed, Jason; Pfenning, Frank
1
2009
Church and Curry: combining intrinsic and extrinsic typing. Zbl 1226.03020
Pfenning, Frank
1
2008
Program development through proof transformation. Zbl 0692.68010
Pfenning, Frank
1
1990
Refinement types for logical frameworks and their interpretation as proof irrelevance. Zbl 1202.68108
Lovas, William; Pfenning, Frank
1
2010
Single axioms in the implicational propositional calculus. Zbl 0652.03008
Pfenning, Frank
1
1988
Specifying properties of concurrent computations in CLF. Zbl 1278.03069
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
1
2007
A bidirectional refinement type system for LF. Zbl 1278.03060
Lovas, William; Pfenning, Frank
1
2008
A type theory for memory allocation and data layout. Zbl 1321.68181
Petersen, Leaf; Harper, Robert; Crary, Karl; Pfenning, Frank
1
2003
Nested session types. Zbl 1473.68113
Das, Ankush; DeYoung, Henry; Mordido, Andreia; Pfenning, Frank
1
2021
Session-typed concurrent contracts. Zbl 1487.68165
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank
1
2022
Design and implementation of concurrent C0. Zbl 1483.68069
Willsey, Max; Prabhu, Rokhini; Pfenning, Frank
1
2017
Rast: a language for resource-aware session types. Zbl 07471698
Das, Ankush; Pfenning, Frank
1
2022
Session types with arithmetic refinements. Zbl 07559469
Das, Ankush; Pfenning, Frank
1
2020
Session-typed concurrent contracts. Zbl 1487.68165
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank
1
2022
Rast: a language for resource-aware session types. Zbl 07471698
Das, Ankush; Pfenning, Frank
1
2022
A message-passing interpretation of adjoint logic. Zbl 07363402
Pruiksma, Klaas; Pfenning, Frank
3
2021
Nested session types. Zbl 1473.68113
Das, Ankush; DeYoung, Henry; Mordido, Andreia; Pfenning, Frank
1
2021
Session types with arithmetic refinements. Zbl 07559469
Das, Ankush; Pfenning, Frank
1
2020
Session-typed concurrent contracts. Zbl 1418.68025
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank
5
2018
Work analysis with resource-aware session types. Zbl 07298755
Das, Ankush; Hoffmann, Jan; Pfenning, Frank
3
2018
Design and implementation of concurrent C0. Zbl 1483.68069
Willsey, Max; Prabhu, Rokhini; Pfenning, Frank
1
2017
Linear logic propositions as session types. Zbl 1361.68162
Caires, Luís; Pfenning, Frank; Toninho, Bernardo
23
2016
Monitors and blame assignment for higher-order session types. Zbl 1347.68269
Jia, Limin; Gommerstadt, Hannah; Pfenning, Frank
9
2016
Substructural proofs as automata. Zbl 1485.03251
DeYoung, Henry; Pfenning, Frank
1
2016
Polarized substructural session types. Zbl 1459.68042
Pfenning, Frank; Griffith, Dennis
14
2015
Linear logical relations and observational equivalences for session-based concurrency. Zbl 1309.68141
Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo
11
2014
Corecursion and non-divergence in session-typed processes. Zbl 1444.68124
Toninho, Bernardo; Caires, Luis; Pfenning, Frank
4
2014
Higher-order processes, functions, and sessions: a monadic integration. Zbl 1381.68063
Toninho, Bernardo; Caires, Luis; Pfenning, Frank
17
2013
Behavioral polymorphism and parametricity in session-based communication. Zbl 1381.68197
Caires, Luís; Pérez, Jorge A.; Pfenning, Frank; Toninho, Bernardo
11
2013
Linear logical relations for session-based concurrency. Zbl 1352.68189
Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo
7
2012
Cut reduction in linear logic as asynchronous session-typed communication. Zbl 1252.03141
DeYoung, Henry; Caires, Luís; Pfenning, Frank; Toninho, Bernardo
6
2012
Functions as session-typed processes. Zbl 1352.68191
Toninho, Bernardo; Caires, Luis; Pfenning, Frank
4
2012
Proof-carrying code in a session-typed process calculus. Zbl 1350.68204
Pfenning, Frank; Caires, Luis; Toninho, Bernardo
11
2011
Logical approximation for program analysis. Zbl 1256.68045
Simmons, Robert J.; Pfenning, Frank
2
2011
Session types as intuitionistic linear propositions. Zbl 1287.68125
Caires, Luís; Pfenning, Frank
53
2010
Refinement types for logical frameworks and their interpretation as proof irrelevance. Zbl 1202.68108
Lovas, William; Pfenning, Frank
1
2010
Efficient intuitionistic theorem proving with the polarized inverse method. Zbl 1250.03019
McLaughlin, Sean; Pfenning, Frank
4
2009
Refinement types as proof irrelevance. Zbl 1202.68107
Lovas, William; Pfenning, Frank
2
2009
Intuitionistic letcc via labelled deduction. Zbl 1347.03061
Reed, Jason; Pfenning, Frank
1
2009
Contextual modal type theory. Zbl 1367.03060
Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte
33
2008
A logical characterization of forward and backward chaining in the inverse method. Zbl 1151.03006
Chaudhuri, Kaustuv; Pfenning, Frank; Price, Greg
17
2008
Imogen: Focusing the polarized inverse method for intuitionistic propositional logic. Zbl 1182.68212
McLaughlin, Sean; Pfenning, Frank
8
2008
TPS: A theorem proving system for classical type theory. Zbl 1226.03026
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
3
2008
Linear logical algorithms. Zbl 1155.68349
Simmons, Robert J.; Pfenning, Frank
2
2008
Church and Curry: combining intrinsic and extrinsic typing. Zbl 1226.03020
Pfenning, Frank
1
2008
A bidirectional refinement type system for LF. Zbl 1278.03060
Lovas, William; Pfenning, Frank
1
2008
Specifying properties of concurrent computations in CLF. Zbl 1278.03069
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
1
2007
A logical characterization of forward and backward chaining in the inverse method. Zbl 1222.68358
Chaudhuri, Kaustuv; Pfenning, Frank; Price, Greg
3
2006
On equivalence and canonical forms in the LF type theory. Zbl 1367.03055
Harper, Robert; Pfenning, Frank
15
2005
A probabilistic language based upon sampling functions. Zbl 1369.68083
Park, Sungwoo; Pfenning, Frank; Thrun, Sebastian
14
2005
Staged computation with names and necessity. Zbl 1085.68025
Nanevski, Aleksandar; Pfenning, Frank
7
2005
Focusing the inverse method for linear logic. Zbl 1136.03338
Chaudhuri, Kaustuv; Pfenning, Frank
6
2005
A focusing inverse method theorem prover for first-order linear logic. Zbl 1135.68554
Chaudhuri, Kaustuv; Pfenning, Frank
4
2005
A monadic analysis of information flow security with mutable state. Zbl 1077.68019
Crary, Karl; Kliger, Aleksey; Pfenning, Frank
3
2005
A concurrent logical framework: The propositional fragment. Zbl 1100.68548
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
37
2004
Tridirectional typechecking. Zbl 1325.68062
Dunfield, Joshua; Pfenning, Frank
8
2004
A linear spine calculus. Zbl 1041.03007
Cervesato, Iliano; Pfenning, Frank
12
2003
A coverage checking algorithm for LF. Zbl 1279.68295
Schürmann, Carsten; Pfenning, Frank
8
2003
Type assignment for intersections and unions in call-by-value languages. Zbl 1029.68098
Dunfield, Joshua; Pfenning, Frank
5
2003
Optimizing higher-order pattern unification. Zbl 1278.68278
Pientka, Brigitte; Pfenning, Frank
3
2003
Higher-order pattern complement and the strict \(\lambda\)-calculus. Zbl 1365.68155
Momigliano, Alberto; Pfenning, Frank
2
2003
A type theory for memory allocation and data layout. Zbl 1321.68181
Petersen, Leaf; Harper, Robert; Crary, Karl; Pfenning, Frank
1
2003
A linear logical framework. Zbl 1031.03056
Cervesato, Iliano; Pfenning, Frank
26
2002
Logical frameworks – a brief introduction. Zbl 1097.68541
Pfenning, Frank
2
2002
A judgmental reconstruction of modal logic. Zbl 0997.03020
Pfenning, Frank; Davies, Rowan
54
2001
A modal analysis of staged computation. Zbl 1323.68107
Davies, Rowan; Pfenning, Frank
50
2001
Logical frameworks. Zbl 0992.03038
Pfenning, Frank
18
2001
Primitive recursion for higher-order abstract syntax. Zbl 0994.68028
Schürmann, C.; Despeyroux, J.; Pfenning, F.
10
2001
Structural cut elimination. I: Intuitionistic and classical logic. Zbl 1005.03049
Pfenning, Frank
16
2000
Intersection types and computational effects. Zbl 1321.68147
Davies, Rowan; Pfenning, Frank
9
2000
Efficient resource management for linear logic proof search. Zbl 0958.03010
Cervesato, Iliano; Hodas, Joshua S.; Pfenning, Frank
7
2000
Reasoning about staged computation (abstract of invited talk). Zbl 1044.68555
Pfenning, Frank
1
2000
Algorithms for equality and unification in the presence of notational definitions. Zbl 0942.03014
Pfenning, Frank; Schürmann, Carsten
5
1999
On proving syntactic properties of CPS programs. Zbl 0958.68022
Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank
3
1999
Natural deduction for intuitionistic non-commutative linear logic. Zbl 0931.03071
Polakow, Jeff; Pfenning, Frank
3
1999
Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic. Zbl 0926.03076
Polakow, Jeff; Pfenning, Frank
1
1999
Automated theorem proving in a simple meta-logic for LF. Zbl 0924.03024
Schürmann, Carsten; Pfenning, Frank
7
1998
A module system for a programming language based on the LF logical framework. Zbl 0902.68031
Harper, Robert; Pfenning, Frank
2
1998
Primitive recursion for higher-order abstract syntax. Zbl 1063.03511
Despeyroux, Joëlle; Pfenning, Frank; Schürmann, Carsten
8
1997
On the unification problem for Cartesian closed categories. Zbl 0882.03044
Narendran, Paliath; Pfenning, Frank; Statman, Richard
5
1997
TPS: A theorem-proving system for classical type theory. Zbl 0858.03017
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
16
1996
On a modal lambda calculus for S4. Zbl 0908.03018
Pfenning, Frank; Wong, Hao-Chi
6
1995
On the undecidability of partial polymorphic type reconstruction. Zbl 0789.03017
Pfenning, Frank
7
1993
Implementing the meta-theory of deductive systems. Zbl 0925.03062
Pfenning, Frank; Rohwedder, Ekkehard
4
1992
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
92
1991
Logic programming in the LF logical framework. Zbl 0760.68014
Pfenning, Frank
25
1991
Metacircularity in the polymorphic \(\lambda\)-calculus. Zbl 0736.03003
Pfenning, Frank; Lee, Peter
4
1991
Program development through proof transformation. Zbl 0692.68010
Pfenning, Frank
1
1990
Elf: A language for logic definition and verified metaprogramming. Zbl 0716.68079
Pfenning, Frank
14
1989
Single axioms in the implicational propositional calculus. Zbl 0652.03008
Pfenning, Frank
1
1988
Automating higher-order logic. Zbl 0551.68075
Andrews, Peter B.; Miller, Dale A.; Cohen, Eve Longini; Pfenning, Frank
7
1984
Analytic and non-analytic proofs. Zbl 0547.03032
Pfenning, Frank
5
1984
all top 5

Cited by 589 Authors

27 Pfenning, Frank
17 Miller, Dale Allen
16 Pientka, Brigitte
9 Cervesato, Iliano
9 Francez, Nissim
9 Olarte, Carlos
9 Pérez, Jorge A.
8 Felty, Amy P.
8 Pimentel, Elaine
8 Rabe, Florian
8 Yoshida, Nobuko
7 Chaudhuri, Kaustuv
7 Nadathur, Gopalan
7 Pym, David J.
7 Toninho, Bernardo
6 Abel, Andreas M.
6 Momigliano, Alberto
6 Nigam, Vivek
5 Benzmüller, Christoph Ewald
5 Caires, Luís
5 Dardha, Ornela
5 Francalanza, Adrian
5 Honsell, Furio
5 Horozal, Fulya
5 Licata, Daniel R.
5 Liquori, Luigi
5 Schürmann, Carsten
5 Straßburger, Lutz
5 Stump, Aaron
4 Andrews, Peter B.
4 Atkey, Robert
4 Birkedal, Lars
4 Blanchette, Jasmin Christian
4 Cheney, James
4 del Carmen González Huesca, Lourdes
4 Fujita, Ken-etsu
4 Harper, Robert
4 Lipton, James B.
4 Miranda Perea, Favio Ezequiel
4 Montesi, Fabrizio
4 Padovani, Luca
4 Pitts, Andrew M.
4 Reis, Giselle
4 Ritter, Eike
4 Shulman, Michael A.
4 Zeilberger, Noam
3 Bentkamp, Alexander
3 Bonelli, Eduardo
3 Ciabattoni, Agata
3 Crary, Karl
3 Dal Lago, Ugo
3 Das, Ankush
3 Dunfield, Joshua
3 Dyckhoff, Roy
3 Gabbay, Murdoch James
3 Gacek, Andrew
3 Galmiche, Didier
3 Horne, Ross
3 Kavanagh, Ryan
3 Kavvos, G. A.
3 Kiselyov, Oleg
3 Kohlhase, Michael
3 Kokke, Wen
3 Komendantskaya, Ekaterina
3 Linares-Arévalo, P. Selene
3 Marin, Sonia
3 Miculan, Marino
3 Narendran, Paliath
3 Oliveira, Bruno C.d. S.
3 Park, Sungwoo
3 Paulson, Lawrence Charles
3 Ruet, Paul
3 Scedrov, Andre
3 Schubert, Aleksy
3 Simmons, Robert jun.
3 Vasconcelos, Vasco Thudichum
3 Vestergaard, René
3 Waldmann, Uwe
3 Wallen, Lincoln A.
3 Xavier, Bruno
2 Acar, Umut A.
2 Aceto, Luca
2 Allais, Guillaume
2 Amato, Gianluca
2 Anantharaman, Siva
2 Ancona, Davide
2 Anderson, Penny
2 Andreoli, Jean-Marc
2 Angiuli, Carlo
2 Artemov, Sergei
2 Aschieri, Federico
2 Baelde, David
2 Baillot, Patrick
2 Balzer, Stephanie
2 Bartoletti, Massimo
2 Basold, Henning
2 Bishop, Matthew
2 Borgström, Johannes
2 Brock-Nannestad, Taus
2 Brotherston, James
...and 489 more Authors
all top 5

Cited in 41 Serials

48 Theoretical Computer Science
34 Journal of Automated Reasoning
29 MSCS. Mathematical Structures in Computer Science
28 Information and Computation
27 Journal of Functional Programming
16 Annals of Pure and Applied Logic
15 Logical Methods in Computer Science
11 Journal of Applied Logic
11 Journal of Logical and Algebraic Methods in Programming
7 Journal of Symbolic Computation
6 Theory and Practice of Logic Programming
5 Journal of Philosophical Logic
5 Higher-Order and Symbolic Computation
5 The Journal of Logic and Algebraic Programming
4 Formal Aspects of Computing
4 Journal of Logic, Language and Information
4 Journal of Applied Non-Classical Logics
4 The Bulletin of Symbolic Logic
4 Logica Universalis
3 Acta Informatica
3 Studia Logica
3 Annals of Mathematics and Artificial Intelligence
3 The Review of Symbolic Logic
2 The Journal of Symbolic Logic
2 Science of Computer Programming
2 RAIRO. Theoretical Informatics and Applications
2 ACM Transactions on Computational Logic
1 Reviews in Mathematical Physics
1 Programming and Computer Software
1 New Generation Computing
1 AI Communications
1 Distributed Computing
1 RAIRO. Informatique Théorique et Applications
1 Archive for Mathematical Logic
1 Formal Methods in System Design
1 Theory and Applications of Categories
1 Theory of Computing Systems
1 LMS Journal of Computation and Mathematics
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 RAIRO. Theoretical Informatics and Applications
1 Frontiers of Computer Science in China

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.