Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Computation By Abstract Devices (F.1) > Modes Of Computation (F.1.2) > Interactive And Reactive Computation (F.1.2...)  
 
Options:
 
  1-1 of 1 Reviews about "Interactive And Reactive Computation (F.1.2...)": Date Reviewed
  Interactive proof systems and alternating time-space complexity
Fortnow L., Lund C. Theoretical Computer Science 113(1): 55-73, 1993.  Type: Article

The main contribution of this paper is to state, in a general setting, the relationship between alternating time-space complexity classes ATISP(t,s) and public-coin interactive proof systems where the verifier has polynomially related ...

Jul 1 1994
 
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy