|
Volumn , Issue , 1994, Pages 267-278
|
Relationships among PL, #L, and the determinant
a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTABILITY AND DECIDABILITY;
MATRIX ALGEBRA;
POLYNOMIALS;
PROBABILISTIC LOGICS;
THEOREM PROVING;
TURING MACHINES;
NONDETERMINISTIC LOGSPACE BOUNDED MACHINES;
REDUCIBILITY;
COMPUTATIONAL COMPLEXITY;
|
EID: 0028599687
PISSN: 10636870
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (13)
|
References (51)
|