| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Utrecht University |
| Volume | 1994-44 |
| Edition | UU-CS |
| ISBN (Print) | 0924-3275 |
| Publication status | Published - 1994 |
Keywords
- Wiskunde en Informatica (WIIN)
A complete characterization of termination of 0^p 1^q -> 1^r 0^s
H. Zantema
Research output: Book/Report › Report › Academic