A calculus for sequential logic with 4 values

Files

preprint160.pdf (171.61 KB)

Publication date

1996-04

Authors

Bergstra, J.A.

Pol, J. van de

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/26709