MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Elaine Pimentel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Living Systems  
  • by Dale Miller, Elaine Pimentel — 1978
  • …Using linear logic to reason about sequent systems ⋆ Dale Miller 1 and Elaine Pimentel 2 1…
  • Cited by 78 (2 self) – Add To MetaCart
  • Types in Programming Languages  
  • by Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
  • … Pimentel Departamento de Ciencia da Computac~ao - UFMG pimentel@(email omitted); April 20, 1999 Abstract…
  • Add To MetaCart
  • On the specification of sequent systems  
  • by Elaine Pimentel, Dale Miller, Minas Gerais, Belo Horizonte, M. G. Brasil — 2005 — In LPAR 2005: 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, number 3835 in LNAI
  • …On the specification of sequent systems Elaine Pimentel 1 and Dale Miller 2⋆ 1 Departamento de…
  • Cited by 3 (2 self) – Add To MetaCart
  • Using Linear Logic to Reason About Sequent  
  • by Systems Dale Miller, Dale Miller, Elaine Pimentel, Minas Gerais, Belo Horizonte, M. G. Brasil — 2002 — Proceedings of Tableaux 2002, LNAI 2381
  • …Using linear logic to reason about sequent systems ? Dale Miller 1 and Elaine Pimentel 2 1…
  • Cited by 8 (2 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB