Elaine Pimentel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4 Elaine Pimentel, Dale Miller: On the Specification of Sequent Systems. LPAR 2005: 352-366

1 Dale Miller, Elaine Pimentel: Using Linear Logic to Reason about Sequent Systems. TABLEAUX 2002: 2-23

Selection of 2 from 6 records - Elaine Pimentel has 7 coauthors

4		Elaine Pimentel, Dale Miller: On the Specification of Sequent Systems. LPAR 2005: 352-366
1		Dale Miller, Elaine Pimentel: Using Linear Logic to Reason about Sequent Systems. TABLEAUX 2002: 2-23