Login / Signup

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

Calogero G. ZarbaDomenico CantoneJacob T. Schwartz
Published in: J. Autom. Reason. (2004)
Keyphrases