Sciweavers

3571 search results - page 40 / 715
» Cohen and Set Theory
Sort
View
COCO
1995
Springer
113views Algorithms» more  COCO 1995»
15 years 9 months ago
On the Structure of Low Sets
Over a decade ago, Schoning introduced the concept of lowness into structural complexity theory. Since then a large body of results has been obtained classifying various complexit...
Johannes Köbler
EUSFLAT
2007
105views Fuzzy Logic» more  EUSFLAT 2007»
15 years 7 months ago
Fuzzy Class Theory: Some Advanced Topics
The goal of this paper is to push forward the development of the apparatus of the Fuzzy Class theory. We concentrate on three areas: strengthening the universal quantifier, forma...
Petr Cintula, Rostislav Horcík
JSYML
2000
71views more  JSYML 2000»
15 years 5 months ago
Applications of PCF Theory
We deal with several pcf problems; we characterize another version of exponentiation: number of -branches in a tree with nodes, deal with existence of independent sets in stable t...
Saharon Shelah
ECSQARU
2007
Springer
15 years 12 months ago
Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
Norbert Lehmann
CSL
2009
Springer
16 years 11 days ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel