( en | de | ru )

 

Disambiguation of "Weispfenning, Volker"

Author of the publication

copydeleteadd this publication to your clipboard
Deciding polynomial-exponential problems.

, , and . ISSAC, page 215-222. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Volker Weispfenning

Felix Weispfenning

Trude Weispfenning

Martin Weispfenning

Rita Weispfenning

 

Other publications of authors with the same name

The Model-Theoretic Significance of Complemented Existential Formulas.. J. Symb. Log., 46 (4): 843-850 (1981)Nullstellensätze - A Model Theoretic Framework.. Math. Log. Q., 23 (36): 539-545 (1977)Deciding linear-trigonometric problems., and . ISSAC, page 14-22. ACM, (2000)Canonical comprehensive Gröbner bases.. ISSAC, page 270-276. ACM, (2002)Efficient Decision Procedures for Locally Finite Theories II.. ISSAC, volume 358 of Lecture Notes in Computer Science, page 390-401. Springer, (1988)Deciding linear-exponential problems.. SIGSAM Bull., 34 (1): 30-31 (2000)Deciding polynomial-transcendental problems., and . J. Symb. Comput., 47 (1): 16-31 (2012)Quantifier elimination for modules.. Arch. Math. Log., 25 (1): 1-11 (1985)A note on ℵ0-categorical model-companions.. Arch. Math. Log., 19 (1): 23-29 (1978)Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond.. Appl. Algebra Eng. Commun. Comput., 8 (2): 85-101 (1997)