A calculus for sequential logic with 4 values / J.A. Bergstra, J.C. van de Pol
mainEntity
A calculus for sequential logic with 4 values / J.A. Bergstra, J.C. van de Pol
about
author
contributor
inLanguage
isbn
9039315140
mainEntityOfPage
name
A calculus for sequential logic with 4 values
numberOfPages
publication
sameAs
label
A calculus for sequential logic with 4 values / J.A. Bergstra, J.C. van de Pol