|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Sturm, Thomas |
| Title | Guarded Expressions in Practice |
| Editor | Wolfgang W. Küchlin |
| Booktitle | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 97), Maui, HI |
| Pages | 376-383 |
| Organization | ACM |
| Publisher | ACM Press |
| Address | New York, NY |
| Month | Jul |
| Year | 1997 |
| Pubtype | InCollection |
| Doi | 10.1145/258726.258851 |
| Preprint | DolzmannSturm_97 |
| Fileid | DolzmannSturm_97b |
| Name | Dolzmann, Sturm |
| Status | redlog application |
| Xtitle | Guarded Expressions in Practice |
| Author | Dolzmann, Andreas and Sturm, Thomas |
| Title | Guarded Expressions in Practice |
| Type | Technical Report |
| Number | MIP-9702 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | Jan |
| Year | 1997 |
| Pubtype | TechReport |
| Publication | DolzmannSturm_97b |
| Fileid | DolzmannSturm_97 |
| Name | Dolzmann, Sturm |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9702.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9702.ps.Z |
| Status | redlog application |
| Xtitle | Guarded Expressions in Practice (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |