A calculus for sequential logic with 4 values

DSpace/Manakin Repository

A calculus for sequential logic with 4 values
 
Bergstra, J.A.; Pol, J. van de
(1996) Logic Group Preprint Series, volume 160
(Preprint)
Download/Full Text
Open Access version via Utrecht University Repository
 
 
 
See more statistics about this item