MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Extension Theorem." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1,763 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • THE EXTENSION THEOREM  
  • by The Erwin, Schrödinger International Boltzmanngasse, Nikolai P. Dolbilin, Nikolai P. Dolbilin
  • … Wien, Austria The Extension Theorem Nikolai P. Dolbilin Vienna, Preprint ESI 729 (1999) July 8, 1999…
  • Add To MetaCart
  • Extensions Theorems, Orbits, And Automorphisms  
  • by Of The Computably, Peter A. Cholak, Leo, A. Harrington — 1992 — Trans. Amer. Math. Soc. Final version as of
  • …EXTENSIONS THEOREMS, ORBITS, AND AUTOMORPHISMS OF THE COMPUTABLY ENUMERABLE SETS PETER A. CHOLAK…
  • Add To MetaCart
  • Hopf Extension Theorem of Measure  
  • by Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama — 2009
  • …FORMALIZED MATHEMATICS Vol. 17, No. 2, Pages 157–162, 2009 Hopf Extension Theorem of Measure…
  • Add To MetaCart
  • On Hartogs Extension Theorem  
  • by Lucas Zinner
  • …ON HARTOGS EXTENSION THEOREM LUCAS ZINNER Abstract. We give a proof of a generalised Hartogs…
  • Add To MetaCart
  • Implementing Extensible Theorem Provers  
  • by Kathi Fisler, Shriram Krishnamurthi, Kathryn E. Gray — 1999 — In International Conference on Theorem Proving in Higher-Order Logic: Emerging Trends, Research Report, INRIA Sophia Antipolis
  • …Implementing Extensible Theorem Provers Kathi Fisler, Shriram Krishnamurthi, and Kathryn E. Gray…
  • Cited by 6 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB