Positive Boolean Functions as Multiheaded Clauses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacob M. Howe, Andy King. Positive Boolean Functions as Multiheaded Clauses. In Philippe Codognet, editor, Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2237 of Lecture Notes in Computer Science, pages 120-134, Springer, 2001. [doi]

This author has not been identified. Look up 'Jacob M. Howe' in GoogleThis author has not been identified. Look up 'Andy King' in Google

runs on WebDSL