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

David Baelde Vis

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

*2009
6EEDavid Baelde: On the Proof Theory of Regular Fixed Points. TABLEAUX 2009: 93-107
5EEDavid Baelde: Least and greatest fixed points in linear logic CoRR abs/0910.3383: (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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)