MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Calculi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6,584 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • DIFFERENTIAL CALCULI  
  • by The Erwin, Schrödinger International Boltzmanngasse, Shahn Majid, S. Majid — 1996
  • … Wien, Austria Classification of Bicovariant Differential Calculi Shahn Majid Vienna, Preprint ESI 375…
  • Add To MetaCart
  • Sequent Calculi  
  • by Frank Pfenning — 1995
  • …Sequent Calculi (DRAFT) Frank Pfenning February 27, 1995 Material for the seminar on Linear Logic…
  • Add To MetaCart
  • Action Calculi III : Higher-order Calculi  
  • by Robin Milner Edinburgh, Robin Milner — 1993 — Typescript
  • …Action Calculi III : Higher-order Calculi Robin Milner Edinburgh, November 1993 1 Introduction…
  • Add To MetaCart
  • CASL specifications of qualitative calculi  
  • by Stefan Wölfl, Till Mossakowski — 2005 — Spatial Information Theory: Cognitive and Computational Foundations, Proceedings of COSIT’05, LNCS 3693
  • …CASL Specifications of Qualitative Calculi Stefan Wölfl 1 and Till Mossakowski 2 1 Department…
  • Cited by 4 (1 self) – Add To MetaCart
  • Compiling Object Calculi  
  • by Luís Lopes, Fernando Silva, Lu'is Lopes Fern, Vasco T. Vasconcelos, O Silva Vasco T. Vasconcelos — 1998
  • …Compiling Object Calculi Lu'is Lopes Fernando Silva Vasco T. Vasconcelos Technical Report Series…
  • Cited by 3 (2 self) – Add To MetaCart
  • • Process Calculi • Type Systems  
  • by Samson Abramsky — 2005
  • … speculations. 1 Process Calculi as Generic Theories What counts as a successful theory in Computer Science…
  • Add To MetaCart
  • Calculi For Concurrent Objects  
  • by Cosimo Laneve Dipartimento, Cosimo Laneve
  • …CALCULI FOR CONCURRENT OBJECTS Cosimo Laneve Dipartimento di Scienze dell'Informazione, Bologna…
  • Add To MetaCart
  • Symmetric Action Calculi  
  • by Philippa Gardner, Lucian Wischik — 1999 — Theoretical Computer Science
  • …Symmetric Action Calculi Philippa Gardner and Lucian Wischik 1 February 1999 Abstract Many…
  • Cited by 5 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB