The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
A Simple Proof of the Skolem-Mahler-Lech Theorem
Proceedings of the 12th Colloquium on Automata, Languages and Programming
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Hi-index | 0.00 |