| Original language | English |
|---|---|
| Journal | Logic in Computer Science |
| ISSN | 1043-6871 |
| Publication status | Published - 1990 |
Equation Solving Using Modal Transition Systems
Research output: Contribution to journal › Journal article › Research › peer-review
131
Citations
(Scopus)