|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Christian Straßer |
| Title | Quantifier Elimination for Queues |
| Editor | Jan Draisma and Hanspeter Kraft |
| Booktitle | Rhine Workshop on Computer Algebra. Proceedings of the RWCA 2006 |
| Pages | 239-248 |
| Publisher | Universität Basel |
| Address | Basel |
| Month | mar |
| Year | 2006 |
| Pubtype | InCollection |
| Context | qqe |
| Domain | queues |
| Fileid | Strasser_06a |
| Name | Straßer |
| Pdffile | http://redlog.dolzmann.de/remis/paper/Strasser_06a/basel_lim.pdf |
| Status | redlog system |
| Xtitle | Quantifier Elimination for Queues |
| A.D. | T.S. | www@redlog.eu | Validate |