| Original language | English |
|---|---|
| Journal | Theoretical Computer Science |
| Volume | 72 s. |
| ISSN | 0304-3975 |
| Publication status | Published - 1990 |
Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion
Research output: Contribution to journal › Journal article › Research › peer-review
101
Citations
(Scopus)