×
Compute Distance To:
Author ID: baelde.david Recent zbMATH articles by "Baelde, David"
Published as: Baelde, David

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 60 times in 44 Documents Cited by Year
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David
16
2012
Least and greatest fixed points in linear logic. Zbl 1137.03323
Baelde, David; Miller, Dale
15
2007
Abella: a system for reasoning about relational specifications. Zbl 1451.68315
Baelde, David; Chaudhuri, Kaustuv; Gacek, Andrew; Miller, Dale; Nadathur, Gopalan; Tiu, Alwen; Wang, Yuting
8
2014
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
5
2016
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
4
2016
On the expressivity of minimal generic quantification. Zbl 1337.03038
Baelde, David
3
2009
Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of Büchi inclusions. Zbl 1401.68193
Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis
2
2016
Focused inductive theorem proving. Zbl 1291.68322
Baelde, David; Miller, Dale; Snow, Zachary
2
2010
On the proof theory of regular fixed points. Zbl 1260.03108
Baelde, David
2
2009
A hypersequent calculus with clusters for linear frames. Zbl 1418.03066
Baelde, David; Lick, Anthony; Schmitz, Sylvain
1
2018
Combining deduction modulo and logics of fixed-point definitions. Zbl 1361.68132
Baelde, David; Nadathur, Gopalan
1
2012
Partial order reduction for security protocols. Zbl 1374.68318
Baelde, David; Delaune, Stéphanie; Hirschi, Lucca
1
2015
A hypersequent calculus with clusters for linear frames. Zbl 1418.03066
Baelde, David; Lick, Anthony; Schmitz, Sylvain
1
2018
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
5
2016
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
4
2016
Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of Büchi inclusions. Zbl 1401.68193
Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis
2
2016
Partial order reduction for security protocols. Zbl 1374.68318
Baelde, David; Delaune, Stéphanie; Hirschi, Lucca
1
2015
Abella: a system for reasoning about relational specifications. Zbl 1451.68315
Baelde, David; Chaudhuri, Kaustuv; Gacek, Andrew; Miller, Dale; Nadathur, Gopalan; Tiu, Alwen; Wang, Yuting
8
2014
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David
16
2012
Combining deduction modulo and logics of fixed-point definitions. Zbl 1361.68132
Baelde, David; Nadathur, Gopalan
1
2012
Focused inductive theorem proving. Zbl 1291.68322
Baelde, David; Miller, Dale; Snow, Zachary
2
2010
On the expressivity of minimal generic quantification. Zbl 1337.03038
Baelde, David
3
2009
On the proof theory of regular fixed points. Zbl 1260.03108
Baelde, David
2
2009
Least and greatest fixed points in linear logic. Zbl 1137.03323
Baelde, David; Miller, Dale
15
2007

Citations by Year