|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Sturm, Thomas |
| Title | New Domains for Applied Quantifier Elimination |
| Series | Lecture Notes in Computer Science |
| Volume | 4194 |
| Editor | Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, E. V. |
| Booktitle | Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chisinau Moldova, September 11-15, 2006 |
| Pages | 295-301 |
| Publisher | Springer |
| Address | Berlin, Heidelberg |
| Year | 2006 |
| Pubtype | InCollection |
| Doi | 10.1007/11870814_25 |
| Context | pasf, qqe |
| Domain | integers, queues |
| Fileid | Sturm_06 |
| Name | Sturm |
| Pdffile | http://redlog.dolzmann.de/remis/paper/Sturm_06/CASC-2006-Sturm.pdf |
| Status | redlog system |
| Xtitle | New Domains for Applied Quantifier Elimination |
| A.D. | T.S. | www@redlog.eu | Validate |