dblp.uni-trier.dewww.uni-trier.de

David Baelde

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
4EEDavid Baelde: On the Expressivity of Minimal Generic Quantification. Electr. Notes Theor. Comput. Sci. 228: 3-19 (2009)
2007
3EEDavid Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
2EEDavid Baelde, Dale Miller: Least and Greatest Fixed Points in Linear Logic. LPAR 2007: 92-106
1EEDavid 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)