3571 search results - page 53 / 715 » Cohen and Set Theory |
ECIS
2003
13 years 9 months ago
2003
Hirschheim, Klein and Lyytinen introduced the four-paradigm theory of information systems development (ISD) as a significant attempt to systematise developer assumptions. The theo...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
ISIPTA
1999
IEEE
13 years 12 months ago
1999
IEEE
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
EUSFLAT
2007
13 years 9 months ago
2007
Fuzzy topology based on interior operators is studied in the fully graded framework of Fuzzy Class Theory. Its relation to graded notions of fuzzy topology given by open sets and ...