Carl Eastlund Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2009

2 EE Carl Eastlund, Matthias Felleisen: Toward a Practical Module System for ACL2. PADL 2009: 46-60

1 EE Carl Eastlund, Matthias Felleisen: Making induction manifest in modular ACL2. PPDP 2009: 105-116

*	2009
2	EE	Carl Eastlund, Matthias Felleisen: Toward a Practical Module System for ACL2. PADL 2009: 46-60
1	EE	Carl Eastlund, Matthias Felleisen: Making induction manifest in modular ACL2. PPDP 2009: 105-116

Coauthor Index