Carl Eastlund

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

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

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

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

Coauthor Index