NeuroCOLT

Neural Networks and Computational Learning Theory

About NeuroCOLT

Papers Archive

Books

info@neurocolt.org

NeuroCOLT Technical Report NC-TR-02-136

2002-136
Quantifier Elimination Following Muchnik
Christian Michaux and Adem Ozturk

ABSTRACT

Download Postscript