×

zbMATH — the first resource for mathematics

Baelde, David

Compute Distance To:
Author ID: baelde.david Recent zbMATH articles by "Baelde, David"
Published as: Baelde, David
Documents Indexed: 18 Publications since 2007, including 1 Book

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 47 times in 35 Documents Cited by Year
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David
13
2012
Least and greatest fixed points in linear logic. Zbl 1137.03323
Baelde, David; Miller, Dale
12
2007
Abella: a system for reasoning about relational specifications. Zbl 07106494
Baelde, David; Chaudhuri, Kaustuv; Gacek, Andrew; Miller, Dale; Nadathur, Gopalan; Tiu, Alwen; Wang, Yuting
4
2014
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
3
2016
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
3
2016
A reduced semantics for deciding trace equivalence. Zbl 1448.68326
Baelde, David; Delaune, Stéphanie; Hirschi, Lucca
2
2017
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
2
2009
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
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
1
2016
Partial order reduction for security protocols. Zbl 1374.68318
Baelde, David; Delaune, Stéphanie; Hirschi, Lucca
1
2015
Combining deduction modulo and logics of fixed-point definitions. Zbl 1361.68132
Baelde, David; Nadathur, Gopalan
1
2012
A hypersequent calculus with clusters for linear frames. Zbl 1418.03066
Baelde, David; Lick, Anthony; Schmitz, Sylvain
1
2018
A reduced semantics for deciding trace equivalence. Zbl 1448.68326
Baelde, David; Delaune, Stéphanie; Hirschi, Lucca
2
2017
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
3
2016
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
3
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
1
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 07106494
Baelde, David; Chaudhuri, Kaustuv; Gacek, Andrew; Miller, Dale; Nadathur, Gopalan; Tiu, Alwen; Wang, Yuting
4
2014
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David
13
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
2
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
12
2007

Citations by Year