Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 27-53 |
Number of pages | 26 |
Journal | Journal of Applied Non-Classical Logic |
Volume | 10 |
Issue number | 1 |
Publication status | Published - 2000 |
Process algebra with four-valued logic
J.A. Bergstra, A. Ponse
Research output: Contribution to journal › Article › Academic › peer-review