|
П |
Reasoning over Networks by Symbolic Methods |
1997 |
Sturm Th. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
Real Quantifier Elimination in Practice |
1997 |
Dolzmann A., Sturm Th., Weispfenning V. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
Approaches to Parallel Quantifier Elimination |
1998 |
Dolzmann A., Gloor O., Sturm Th. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
An Algebraic Approach to Offsetting and Blending of Solids |
1998 |
Sturm Th., Weispfenning V. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
Guarded Expressions in Practice |
1997 |
Dolzmann A., Sturm Th. |
|
|
Univ.Passau |
|
05.11.1997 |
|
П |
Computational Geometry Problems in REDLOG |
1997 |
Sturm Th., Weispfenning V. |
|
|
Univ.Passau |
|
05.11.1997 |
|
П |
Computer Algebra Meets Computer Logic |
1996 |
Dolzmann A., Sturm Th. |
|
|
Univ.Passau |
|
23.05.1996 |
|
П |
Simplification of Quantifier-free Formulas over Ordered Fields |
1995 |
Dolzmann A., Sturm Th. |
|
|
Univ.Passau |
|
18.01.1996 |
