BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Baelde:David

Contributed to:

CSL 20152015
LICS 20122012
IJCAR 20102010
PPDP 20102010
CADE 20072007
CSL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.