|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Hoffelner, Christian |
| Title | Quantifier Elimination-based Parametric Solving in Term Algebras |
| Type | Diploma Thesis |
| School | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | jul |
| Year | 2005 |
| Pubtype | MastersThesis |
| Context | talp |
| Domain | terms |
| Fileid | Hoffelner_05 |
| Name | Hoffelner |
| Pdffile | http://redlog.dolzmann.de/remis/paper/Hoffelner_05/dt.pdf |
| Status | redlog system |
| Xtitle | Quantifier Elimination-based Parametric Solving in Term Algebras |
| A.D. | T.S. | www@redlog.eu | Validate |