Travelled to:1 × Austria
1 × Croatia
1 × United Kingdom
2 × Germany
Collaborated with:G.Nadathur A.Doumane A.Saurin Z.Snow D.Miller S.Lunel S.Schmitz A.Gacek A.Tiu
Talks about:logic (3) program (2) point (2) fix (2) infinitari (1) greatest (1) calculus (1) approach (1) theorem (1) syntact (1)
Person: David Baelde
DBLP: Baelde:David
Contributed to:
2015
2012
2010
2010
20072016Wrote 7 papers:
- CSL-2015-BaeldeDS #fixpoint
- Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.
- LICS-2012-BaeldeN #deduction #fixpoint #logic
- Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.
- IJCAR-2010-BaeldeMS #induction #proving #theorem proving
- Focused Inductive Theorem Proving (DB, DM, ZS), pp. 278–292.
- PPDP-2010-SnowBN #approach #logic programming #metaprogramming
- A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.
- CADE-2007-BaeldeGMNT #model checking
- The Bedwyr System for Model Checking over Syntactic Expressions (DB, AG, DM, GN, AT), pp. 391–397.
- CSL-2016-BaeldeDS #multi #proving
- Infinitary Proof Theory: the Multiplicative Additive Case (DB, AD, AS), p. 17.
- CSL-2016-BaeldeLS #calculus #finite #logic
- A Sequent Calculus for a Modal Logic on Finite Data Trees (DB, SL, SS), p. 16.