|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Weispfenning, Volker |
| Title | Local Quantifier Elimination |
| Editor | Traverso, Carlo |
| Booktitle | Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC 2000) St. Andrews, Scotland |
| Pages | 86-94 |
| Publisher | ACM Press |
| Address | New York, NY |
| Year | 2000 |
| Pubtype | InCollection |
| Doi | 10.1145/345542.345589 |
| ISBN | 1-58113-218-2 |
| Context | ofsf |
| Domain | reals |
| Fileid | DolzmannWeispfenning_00a |
| Name | Dolzmann, Weispfenning |
| Pdffile | http://redlog.dolzmann.de/remis/paper/DolzmannWeispfenning_00a/p86-dolzmann.pdf |
| Status | redlog system |
| Xtitle | Local Quantifier Elimination |
| A.D. | T.S. | www@redlog.eu | Validate |