Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steve Winker, Larry Wos. Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra. In Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978. pages 251-256, IEEE Computer Society Press, 1978. [doi]

This author has not been identified. Look up 'Steve Winker' in GoogleThis author has not been identified. Look up 'Larry Wos' in Google

runs on WebDSL