A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz. A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. Journal of Automated Reasoning, 33(3-4):251-269, 2004. [doi]

This author has not been identified. Look up 'Calogero G. Zarba' in GoogleThis author has not been identified. Look up 'Domenico Cantone' in GoogleThis author has not been identified. Look up 'Jacob T. Schwartz' in Google

runs on WebDSL