| Original language | English |
|---|---|
| Pages | 233-246 |
| Publication status | Published - 1990 |
Automating Squiggol
Ursula Hilda Mary Martin, T Nipkow, M Broy, CB Jones
Research output: Contribution to conference › Paper
Ursula Hilda Mary Martin, T Nipkow, M Broy, CB Jones
Research output: Contribution to conference › Paper
| Original language | English |
|---|---|
| Pages | 233-246 |
| Publication status | Published - 1990 |