<--- Back to Details
First PageDocument Content
Order theory / Matroid theory / Pregeometry / General topology / Closure operator / Equivalence relation / Forking extension / Closure / Dependence relation / Mathematics / Model theory / Mathematical logic
Date: 2000-04-25 12:42:37
Order theory
Matroid theory
Pregeometry
General topology
Closure operator
Equivalence relation
Forking extension
Closure
Dependence relation
Mathematics
Model theory
Mathematical logic

DEPENDENCE RELATION IN PREGEOMETRIES RAMI GROSSBERG AND OLIVIER LESSMANN

Add to Reading List

Source URL: www.math.cmu.edu

Download Document from Source Website

File Size: 114,49 KB

Share Document on Facebook

Similar Documents

Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist

Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist

DocID: 1xTmW - View Document

Yet Another Platform for Extracting Knowledge from Corpora Francesca Fallucchi, Fabio Massimo Zanzotto DISP - University of Rome “Tor Vergata” (Italy) ,  Abstract Th

Yet Another Platform for Extracting Knowledge from Corpora Francesca Fallucchi, Fabio Massimo Zanzotto DISP - University of Rome “Tor Vergata” (Italy) , Abstract Th

DocID: 1rr9S - View Document

Annals of Mathematics and Artificial Intelligence 36: 39–80, 2002.  2002 Kluwer Academic Publishers. Printed in the Netherlands. Approximate qualitative temporal reasoning Thomas Bittner Qualitative Reasoning Group,

Annals of Mathematics and Artificial Intelligence 36: 39–80, 2002.  2002 Kluwer Academic Publishers. Printed in the Netherlands. Approximate qualitative temporal reasoning Thomas Bittner Qualitative Reasoning Group,

DocID: 1rqMj - View Document

Rainer Hempel  Institut Computational Mathematics http://www.icm.tu-bs.de/∼hempel

Rainer Hempel Institut Computational Mathematics http://www.icm.tu-bs.de/∼hempel

DocID: 1rmfM - View Document

Stability and Segregation in Group Formation

Stability and Segregation in Group Formation

DocID: 1r29I - View Document