Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Fifteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2000)

Paper: Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (at LICS 2000)

Authors: Samuel R. Buss Bruce M. Kapron

Abstract

We define notions of resource-bounded continuity and sequentiality for type-two functionals with total inputs, and prove that in the resource-bounded model there are continuous functionals, which cannot be efficiently simulated by sequential functionals. We also show that for some naturally defined classes of continuous functionals, an efficient simulation is possible.

BibTeX

  @InProceedings{BussKapron-ResourceBoundedCont,
    author = 	 {Samuel R. Buss and Bruce M. Kapron},
    title = 	 {Resource-Bounded Continuity and Sequentiality for Type-Two Functionals},
    booktitle =  {Proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000)},
    year =	 {2000},
    month =	 {June}, 
    pages =      {77--83},
    location =   {Santa Barbara, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2017-04-0512:37
Andrzej Murawski