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

Author： Zarba Calogero Cantone Domenico Schwartz Jacob

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.33, Iss.3-4, 2004-10, pp. : 251-269

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

By Cantone Domenico Zarba Calogero Cannata Rosa

Journal of Automated Reasoning, Vol. 34, Iss. 1, 2005-01 ,pp. : 49-72

Springer Publishing Company

Access to resources Recommend Favorite

Linear non-additive set-functions

By Bernadette Bouchon-Meunier

International Journal of General Systems, Vol. 33, Iss. 1, 2004-02 ,pp. : 89-98

Taylor & Francis Ltd

Access to resources Recommend Favorite

TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories

By Velev Miroslav N. Bryant Randal E.

International Journal of Embedded Systems, Vol. 1, Iss. 1-2, 2006-01 ,pp. : 134-149

Inderscience Publishers

Access to resources Recommend Favorite

Two-Level Additive Schwarz Preconditioners for a Weakly Over-Penalized Symmetric Interior Penalty Method

By Barker A. Brenner S. Park E.-H. Sung L.-Y.

Journal of Scientific Computing, Vol. 47, Iss. 1, 2011-04 ,pp. : 27-49

Springer Publishing Company

Access to resources Recommend Favorite

An extension of statistical decision theory with information theoretic cost functions to decision fusion: Part I

By Hurley M.B.

Information Fusion, Vol. 4, Iss. 4, 2003-12 ,pp. : 319-330

Elsevier

Access to resources Recommend Favorite