MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proof nets, garbage, and computations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • KEA: Practical Automatic Keyphrase Extraction  
  • by Ian Witten Gordon, Gordon W. Paynter, Eibe Frank, Carl Gutwin, Craig G. Nevill-manning — 1999 — Proceedings of Digital Libraries 99 (DL'99
  • … length scale multigrid smooth Proof nets, garbage, and computations cut-elimination linear logic proof…
  • Add To MetaCart
  • Kea: Practical automatic keyphrase extraction  
  • by Ian H. Witten, Gordon W. Paynter, Eibe Frank, Carl Gutwin, Craig G. Nevill-manning, Google Inc — 1998 — In Proceedings of the 4th ACM conference on Digital Libraries
  • … for gauge theories and other disordered systems Proof nets, garbage, and computations anonymity atomicity…
  • Cited by 44 (9 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB