Sciweavers

7289 search results - page 34 / 1458

» A Dependent Set Theory

18

ER
2009
Springer

112views Database» more ER 2009»

A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models

14 years 2 months ago

A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models

Download www.inf.ufrgs.br

Jörg Becker, Patrick Delfmann, Sebastian Herw...

claim paper

Read More »

16

ICLA
2009
Springer

103views Artificial Intelligence» more ICLA 2009»

Some Second Order Set Theory

14 years 2 months ago

Some Second Order Set Theory

Download ali.cmi.ac.in

Joel David Hamkins

claim paper

Read More »

27

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

14 years 2 months ago

Integrating Answer Set Programming and Satisfiability Modulo Theories

Download www.datalog20.org

Ilkka Niemelä

claim paper

Read More »

16

CBMS
2007
IEEE

94views Medical Imaging» more CBMS 2007»

The SDA Model: A Set Theory Approach

14 years 2 months ago

The SDA Model: A Set Theory Approach

Download banzai-deim.urv.cat

David Riaño

claim paper

Read More »

20

CIE
2007
Springer

89views Applied Computing» more CIE 2007»

Index Sets of Computable Structures with Decidable Theories

14 years 2 months ago

Index Sets of Computable Structures with Decidable Theories

Download a-server.math.nsc.ru

Ekaterina B. Fokina

claim paper

Read More »

« Prev « First page 34 / 1458 Last » Next »