ALGEBRAIC CELL DECOMPOSITION IN NC.

Annual Symposium on Foundations of Computer Science (Proceedings)

Volumn , Issue , 1985, Pages 515-521

  Kozen, Dexter ^a   Yap, Chee Keng ^a  

^a USA ^*

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES - ALGEBRA;

ALGEBRAIC CELL DECOMPOSITION; COMPLEXITY; RATIONAL POLYNOMIALS; REAL CLOSED FIELDS;

COMPUTER PROGRAMMING;

EID: 0022238420     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/sfcs.1985.4     Document Type: Conference Paper

References (22)