MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation  
  • by Klaus Aehlig Helmut, Helmut Schwichtenberg, Ludwig-maximilians-universitat Munchen — 2000 — In Proceedings of the Fifteenth IEEE Symposium on Logic in Computer Science (LICS '00
  • …A syntactical analysis of non-size-increasing polynomial time computation Klaus Aehlig Helmut…
  • Add To MetaCart
  • Termination  
  • by As The Example
  • … 475, 1991. [AS01] Klaus Aehlig and Helmut Schwichtenberg. A syntactical analysis of non-size-increasing…
  • Add To MetaCart
  • Chapter 6 Linear λ-Calculus  
  • by Linear Calculus In — 2001
  • … 475, 1991. [AS01] Klaus Aehlig and Helmut Schwichtenberg. A syntactical analysis of non-size-increasing…
  • Add To MetaCart
  • Chapter 6 Linear -Calculus  
  • by Linear Calculus In
  • … syntactical analysis of non-size-increasing polynomial time computation. Submitted, 2001. A previous version…
  • Add To MetaCart
  • Chapter 7 Linear Type Theory  
  • by Linear Type Theory, J A (a J A
  • … of non-size-increasing polynomial time computation. Submitted, 2001. A previous version presented at LICS…
  • Add To MetaCart
  • Propositions A:: = P Atoms  
  • by Linear Type Theory
  • …-Verlag LNAI 475, 1991. [AS01] Klaus Aehlig and Helmut Schwichtenberg. A syntactical analysis of non-size-increasing…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB