Mathematics
D. Grigor’ev
1988.2.1JOURNAL OF SYMBOLIC COMPUTATION
Abstract
Abstract is not available.
Citation format
GRIGOR’EV, D. Complexity of deciding tarski algebra. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5: 65–108.
D. Grigor’ev
1988.2.1JOURNAL OF SYMBOLIC COMPUTATION
Abstract is not available.
GRIGOR’EV, D. Complexity of deciding tarski algebra. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5: 65–108.