|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Christian Straßer |
| Title | Quantorenelimination von Queues |
| Type | Diploma Thesis |
| School | Universität Passau |
| Address | 94030 Passau, Germany |
| Month | mar |
| Year | 2006 |
| Note | In German |
| Pubtype | MastersThesis |
| Context | qqe |
| Domain | queues |
| Fileid | Strasser_06 |
| Name | Straßer |
| Pdffile | http://redlog.dolzmann.de/remis/paper/Strasser_06/qe_queue.pdf |
| Status | redlog system |
| Xtitle | Quantorenelimination von Queues |
| A.D. | T.S. | www@redlog.eu | Validate |