MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Linear Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2,293 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Linear Logic  
  • by Patrick Lincoln — 1992
  • …Appeared in SIGACT 1992 Linear Logic Patrick Lincoln lincoln@(email omitted); SRI and Stanford…
  • Cited by 21 (1 self) – Add To MetaCart
  • Linear Logic on Petri Nets  
  • by Uffe H. Engberg, Uffe H. Engberg, Glynn Winskel, Glynn Winskel — 1994 — In A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
  • …BRICS Basic Research in Computer Science Linear Logic on Petri Nets Uffe H. Engberg Glynn Winskel…
  • Cited by 15 (1 self) – Add To MetaCart
  • Focalizing Linear Logic in Itself  
  • by Jason Reed — 2008
  • …Focalizing Linear Logic in Itself Jason Reed December 6, 2008 Abstract We sketch a simple…
  • Add To MetaCart
  • Equality In Linear Logic  
  • by Marcelo E. Coniglio, Francisco Miraglia, Q \theta Q\gamma Q — 1996
  • …EQUALITY IN LINEAR LOGIC Marcelo E. Coniglio Francisco Miraglia Instituto de Matem'atica e Estat…
  • Add To MetaCart
  • Recursive Inseparability In Linear Logic  
  • by Stal Aanderaa University, Stal Aanderaa, Herman Ruge Jervell
  • …RECURSIVE INSEPARABILITY IN LINEAR LOGIC Stal Aanderaa University of Oslo staal…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB