|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Anderson, Hugh and Khoo, Siau-Cheng and Andrei, Stefan and Luca, Beatrice |
| Title | Calculating Polynomial Runtime Properties |
| Series | LNCS |
| Volume | 3780 |
| Editor | Yi, K. |
| Booktitle | Programming Languages and Systems. Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings |
| Pages | 230-245 |
| Publisher | Springer |
| Address | Berlin Heidelberg, Germany |
| Year | 2005 |
| Pubtype | InCollection |
| Doi | 10.1007/11575467_16 |
| Context | ofsf |
| Domain | reals |
| Fileid | AKAL_05 |
| Name | Anderson, Khoo, Andrei, Luca |
| Pdffile | http://redlog.dolzmann.de/remis/paper/AKAL_05/AKAL05.pdf |
| Status | redlog third-party application |
| Xtitle | Calculating Polynomial Runtime Properties |
| A.D. | T.S. | www@redlog.eu | Validate |