128 search results - page 1 / 26 » An Implicit Characterization of PSPACE |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
DNA
2006
Springer
13 years 9 months ago
2006
Springer
P system is a natural computing model inspired by behavior of living cells and their membranes. We show that (semi-)uniform families of P systems with active membranes can solve i...
CORR
2010
Springer
13 years 7 days ago
2010
Springer
POPL
2008
ACM
14 years 5 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
APAL
2006
13 years 5 months ago
2006
We investigate the question of whether one can characterize complexity classes (such as PSPACE or NEXP) in terms of efficient reducibility to the set of Kolmogorovrandom strings R...