• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Living Systems (1978)

Cached

  • Download as a PDF

Download Links

  • [www.lix.polytechnique.fr]
  • [www.lix.polytechnique.fr]
  • [www.lix.polytechnique.fr]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Dale Miller , Elaine Pimentel
Citations:107 - 2 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Miller78livingsystems,
    author = {Dale Miller and Elaine Pimentel},
    title = {Living Systems},
    year = {1978}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

linear logic to reason about sequent

Citations

728 A formulation of the simple theory of types - Church - 1940
290 Logic programming with focusing proofs in linear logic - Andreoli - 1992
39 Proof Theoretic Approach To Specification Languages - Chirimar - 1995
32 LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication - Danos, Joinet, et al. - 1995
21 Abrusci and Paul Ruet. Non-commutative logic I: The multiplicative fragment - Michele
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University