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. Universiteit van Utrecht Logic Group Preprint Series. Universiteit van Utrecht. |
|