|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Weispfenning, Volker |
| Title | Semilinear Motion Planning in REDLOG |
| Journal | Applicable Algebra in Engineering, Communication and Computing |
| Volume | 12 |
| Pages | 455-475 |
| Month | jun |
| Year | 2001 |
| Issn | 0938-1279 |
| Pubtype | Journal |
| Doi | 10.1007/s002000100086 |
| Preprint | Weispfenning_99c |
| Context | ofsf |
| Domain | reals |
| Fileid | Weispfenning_01 |
| Name | Weispfenning |
| Status | redlog application |
| Xtitle | Semilinear Motion Planning in REDLOG |
| Author | Weispfenning, Volker |
| Title | Semilinear Motion Planning in REDLOG |
| Type | Technical Report |
| Number | MIP-9906 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | May |
| Year | 1999 |
| Pubtype | TechReport |
| Publication | Weispfenning_01 |
| Context | ofsf |
| Domain | reals |
| Fileid | Weispfenning_99c |
| Name | Weispfenning |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9906.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9906.ps.Z |
| Status | redlog application |
| Xtitle | Semilinear Motion Planning in REDLOG (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |