Quasi-interpretations and small space bounds
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Original language | English |
---|---|
Title of host publication | TERM REWRITING AND APPLICATIONS, PROCEEDINGS |
Volume | 3467 |
Publication date | 2005 |
Pages | 150-164 |
ISBN (Print) | 3-540-25596-6 |
Publication status | Published - 2005 |
ID: 148647851