Bochvar-McCarthy logic and process algebra
| Authors | |
|---|---|
| Publication date | 2000 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | Issue number | 39 | 4 |
| Pages (from-to) | 464-484 |
| Number of pages | 21 |
| Organisations |
|
| Document type | Article |
| Note | verscheen in 2000, afgerond in 1998 |
| Permalink to this page | |
