1996
A calculus for sequential logic with 4 values
Publication
Publication
| Additional Metadata | |
|---|---|
| Universiteit van Utrecht | |
| Universiteit van Utrecht Logic Group Preprint Series | |
|
Bergstra, J.& van de Pol, J. (1996). A calculus for sequential logic with 4 values. In Universiteit van Utrecht Logic Group Preprint Series (160). Universiteit van Utrecht. |
|