A canonical form algorithm for proving equivalence of conditional forms

Publisher Website

28 February 1978

journal article
Published by Elsevier in Information Processing Letters

Vol. 7 (2), 103-106
https://doi.org/10.1016/0020-0190(78)90054-6

Abstract

No abstract available

Keywords

Cited by 2 articles