|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Sturm, Thomas |
| Title | Redlog: Computer Algebra Meets Computer Logic |
| Journal | ACM SIGSAM Bulletin |
| Volume | 31 |
| Number | 2 |
| Pages | 2-9 |
| Month | Jun |
| Year | 1997 |
| Issn | 0163-5824 |
| Pubtype | Journal |
| Doi | 10.1145/261320.261324 |
| Preprint | DolzmannSturm_96 |
| Fileid | DolzmannSturm_97a |
| Name | Dolzmann, Sturm |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/sigsam31-2.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/sigsam31-2.ps.Z |
| Status | redlog system |
| Xtitle | Redlog: Computer Algebra Meets Computer Logic |
| Author | Dolzmann, Andreas and Sturm, Thomas |
| Title | Redlog - Computer Algebra Meets Computer Logic |
| Type | Technical Report |
| Number | MIP-9603 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | Feb |
| Year | 1996 |
| Pubtype | TechReport |
| Publication | DolzmannSturm_97a |
| Fileid | DolzmannSturm_96 |
| Name | Dolzmann, Sturm |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9603.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9603.ps.Z |
| Status | redlog system |
| Xtitle | Redlog - Computer Algebra Meets Computer Logic (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |