David Baelde

	2009
6		David Baelde: On the Proof Theory of Regular Fixed Points. TABLEAUX 2009: 93-107
5		David Baelde: Least and greatest fixed points in linear logic CoRR abs/0910.3383: (2009)
4		David Baelde: On the Expressivity of Minimal Generic Quantification. Electr. Notes Theor. Comput. Sci. 228: 3-19 (2009)
	2007
3		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
2		David Baelde, Dale Miller: Least and Greatest Fixed Points in Linear Logic. LPAR 2007: 92-106
1		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007)

Coauthor Index

1	Andrew Gacek	[1] [3]
2	Dale Miller	[1] [2] [3]
3	Gopalan Nadathur	[1] [3]
4	Alwen Tiu (Alwen Fernanto Tiu)	[1] [3]