Special Issue on Application of Quantifier Elimination. Foreword of the Guest Editors
Richard Liska, Hoon Hong
pág. 123
Computing the Newtonian Graph
Dexter Kozen, Kjartan Stefánsson
págs. 125-136
Nonlinear Control System Design by Quantifier Elimination
págs. 137-152
Robust Multi-Objective Feedback Design by Quantifier Elimination
Peter Dorato, Wei Yang, Chaouki Abdallah
págs. 153-159
Testing Stability by Quantifier Elimination
Hoon Hong, Stanly Steinberg, Richard Liska
págs. 161-187
Simulation and Optimization by Quantifier Elimination
págs. 189-208
Simplification of Quantifier-free Formulae over Ordered Fields
Andreas Dolzmann, Thomas Sturm
págs. 209-231
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: