Login / Signup

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.

Domenico CantoneJacob T. SchwartzCalogero G. Zarba
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases