| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Logical approaches to computational barriers |
| Editors | A Beckmann, U Berger |
| Place of Publication | Berlin-Heidelberg-New York |
| Publisher | Springer |
| Pages | 40-54 |
| Number of pages | 15 |
| Publication status | Published - 2006 |
Elementary algebraic specifications of the rational function field
J.A. Bergstra
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review