8481 articles  [english version]
.:. Consultation > Par auteur > Schwartz .:.
1 document
fulltext access A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions
Zarba C. G., Cantone D., Schwartz J. T.
N° RR-5267 (2004) [inria-00070731 - version 1]