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. |