-
3
-
-
0001454571
-
Dependency structures of database relationships
-
Armstrong W.W. Dependency structures of database relationships. Information Processing 74 (1974) 580-583
-
(1974)
Information Processing
, vol.74
, pp. 580-583
-
-
Armstrong, W.W.1
-
4
-
-
33644948832
-
Generalized domination in closure systems
-
Berry A., and San Juan E. Generalized domination in closure systems. Discrete Applied Mathematics 154 7 (2006) 1064-1084
-
(2006)
Discrete Applied Mathematics
, vol.154
, Issue.7
, pp. 1064-1084
-
-
Berry, A.1
San Juan, E.2
-
6
-
-
33749032675
-
Efficient algorithms on the Moore family associated to an implicational system
-
Bertet K., and Nebut M. Efficient algorithms on the Moore family associated to an implicational system. DMTCS 6 2 (2004) 315-338
-
(2004)
DMTCS
, vol.6
, Issue.2
, pp. 315-338
-
-
Bertet, K.1
Nebut, M.2
-
9
-
-
0003430859
-
Finite automatas, their algebras and grammars
-
Springer Verlag, Berlin
-
Buchi J.R. Finite automatas, their algebras and grammars. Toward a Theory of Formal Expressions (1989), Springer Verlag, Berlin
-
(1989)
Toward a Theory of Formal Expressions
-
-
Buchi, J.R.1
-
11
-
-
0037447220
-
The lattice of closure systems, closure operators and implicational systems on a finite set: A survey
-
Caspard N., and Monjardet B. The lattice of closure systems, closure operators and implicational systems on a finite set: A survey. Discrete Applied Mathematics 127 2 (2003) 241-269
-
(2003)
Discrete Applied Mathematics
, vol.127
, Issue.2
, pp. 241-269
-
-
Caspard, N.1
Monjardet, B.2
-
12
-
-
0014797273
-
A relational model of data for large shared data banks
-
Codd E.F. A relational model of data for large shared data banks. Communications of the ACM 13 6 (1970) 377-387
-
(1970)
Communications of the ACM
, vol.13
, Issue.6
, pp. 377-387
-
-
Codd, E.F.1
-
15
-
-
0000079650
-
Structure identification in relational data
-
Dechter R., and Pearl J. Structure identification in relational data. Artificial Intelligence 58 (1992) 237-270
-
(1992)
Artificial Intelligence
, vol.58
, pp. 237-270
-
-
Dechter, R.1
Pearl, J.2
-
16
-
-
0141549035
-
Databases, closure operations and Sperner families
-
Frankl P., et al. (Ed), János Bolyai Mathematical Society, New Haven
-
Demetrovics J., and Nam-Son H. Databases, closure operations and Sperner families. In: Frankl P., et al. (Ed). Extremal Problems for Finite Sets (1991), János Bolyai Mathematical Society, New Haven 199-203
-
(1991)
Extremal Problems for Finite Sets
, pp. 199-203
-
-
Demetrovics, J.1
Nam-Son, H.2
-
18
-
-
0000345402
-
Latticial structures in data analysis
-
Duquenne V. Latticial structures in data analysis. Theoretical Computer Science 217 2 (1999) 407-436
-
(1999)
Theoretical Computer Science
, vol.217
, Issue.2
, pp. 407-436
-
-
Duquenne, V.1
-
19
-
-
0000720354
-
Functional dependencies in a relational database and propositional logic
-
Fagin R. Functional dependencies in a relational database and propositional logic. IBM Journal of Research and Development 21 6 (1977) 534-544
-
(1977)
IBM Journal of Research and Development
, vol.21
, Issue.6
, pp. 534-544
-
-
Fagin, R.1
-
20
-
-
0346876953
-
Attribute exploration with background knowledge
-
Ganter B. Attribute exploration with background knowledge. Theoretical Computer Science 217 (1999) 215-233
-
(1999)
Theoretical Computer Science
, vol.217
, pp. 215-233
-
-
Ganter, B.1
-
22
-
-
0002483151
-
Investigations into logical deduction
-
Szabo M.E. (Ed), North-Holland
-
Gentzen G. Investigations into logical deduction. In: Szabo M.E. (Ed). The Collected Papers of Gerhard Gentzen (1969), North-Holland
-
(1969)
The Collected Papers of Gerhard Gentzen
-
-
Gentzen, G.1
-
23
-
-
0002819235
-
Familles minimales d'implications informatives résultant d'un tableau de données binaires
-
Guigues J.L., and Duquenne V. Familles minimales d'implications informatives résultant d'un tableau de données binaires. Mathematiques & Sciences Humaines 95 (1986) 5-18
-
(1986)
Mathematiques & Sciences Humaines
, vol.95
, pp. 5-18
-
-
Guigues, J.L.1
Duquenne, V.2
-
27
-
-
0009893710
-
Über Axiomensysteme für beliebige Satzsysteme
-
Hertz P. Über Axiomensysteme für beliebige Satzsysteme. Mathematische Annalen 101 (1927) 457-514
-
(1927)
Mathematische Annalen
, vol.101
, pp. 457-514
-
-
Hertz, P.1
-
28
-
-
0000993959
-
Logical features of Horn clauses
-
Gabbay I.M., Hogger C.J., Robinson J.A., and Siekmann J. (Eds)
-
Hodges W. Logical features of Horn clauses. In: Gabbay I.M., Hogger C.J., Robinson J.A., and Siekmann J. (Eds). Handbook of Logic in Artificial Intelligence and Logic Programming, Logical Foundations vol. 1 (1993) 449-503
-
(1993)
Handbook of Logic in Artificial Intelligence and Logic Programming, Logical Foundations
, vol.1
, pp. 449-503
-
-
Hodges, W.1
-
29
-
-
0003115226
-
On sentences which are true of direct unions of algebras
-
Horn A. On sentences which are true of direct unions of algebras. Journal of Symbolic Logic 16 (1951) 14-21
-
(1951)
Journal of Symbolic Logic
, vol.16
, pp. 14-21
-
-
Horn, A.1
-
31
-
-
77950923402
-
Horn-representation of a concept lattice
-
J. Diatta, P. Eklund, M. Liquière Eds, Montpellier, France, October 24-26
-
K. Ben-Khalifa, S. Montameny, Horn-representation of a concept lattice, in: J. Diatta, P. Eklund, M. Liquière (Eds.), Fifth International Conference on Concept Lattices and their Applications, CLA'2007, Montpellier, France, October 24-26, 2007, pp. 181-191.
-
(2007)
Fifth International Conference on Concept Lattices and their Applications, CLA
, pp. 181-191
-
-
Ben-Khalifa, K.1
Montameny, S.2
-
34
-
-
0002707123
-
The decision problem for some classes of sentences without quantifiers
-
McKinsey J.C.C. The decision problem for some classes of sentences without quantifiers. Journal of Symbolic Logic 8 (1943) 61-76
-
(1943)
Journal of Symbolic Logic
, vol.8
, pp. 61-76
-
-
McKinsey, J.C.C.1
-
35
-
-
38249020058
-
Arrowian characterizations of latticial federation consensus functions
-
Monjardet B. Arrowian characterizations of latticial federation consensus functions. Mathematical Social Sciences 20 1 (1990) 51-71
-
(1990)
Mathematical Social Sciences
, vol.20
, Issue.1
, pp. 51-71
-
-
Monjardet, B.1
-
36
-
-
0141465207
-
The presence of lattice theory in discrete problems of mathematical social sciences
-
Monjardet B. The presence of lattice theory in discrete problems of mathematical social sciences. Why? Mathematical Social Sciences 46 2 (2003) 103-144
-
(2003)
Why? Mathematical Social Sciences
, vol.46
, Issue.2
, pp. 103-144
-
-
Monjardet, B.1
-
37
-
-
0141772360
-
On a form of general analysis with applications to linear differential and integral equations
-
Roma
-
E.H. Moore, On a form of general analysis with applications to linear differential and integral equations, in: Atti del IV Congr. Int. dei Mat. II, Roma, 1909, pp. 98-114.
-
(1909)
Atti del IV Congr. Int. dei Mat
, vol.2
, pp. 98-114
-
-
Moore, E.H.1
-
38
-
-
0347143974
-
Knowledge spaces and formal concept analysis
-
Bock H.H., and Polasek W. (Eds), Springer Verlag, Berlin
-
Rusch A., and Wille R. Knowledge spaces and formal concept analysis. In: Bock H.H., and Polasek W. (Eds). Data Analysis and Information Systems (1995), Springer Verlag, Berlin 427-436
-
(1995)
Data Analysis and Information Systems
, pp. 427-436
-
-
Rusch, A.1
Wille, R.2
-
39
-
-
0000460650
-
Completeness and axiomatizability in many-valued logic
-
Henkin L., et al. (Ed), American Mathematical Society
-
Scott D. Completeness and axiomatizability in many-valued logic. In: Henkin L., et al. (Ed). Proceedings of the Tarski Symposium (1974), American Mathematical Society 411-435
-
(1974)
Proceedings of the Tarski Symposium
, pp. 411-435
-
-
Scott, D.1
-
40
-
-
85037056865
-
Domains for denotational semantics
-
Berlin
-
Scott D.S. Domains for denotational semantics. Automata, Languages and Programming vol. 140 (1982), Berlin 577-613
-
(1982)
Automata, Languages and Programming
, vol.140
, pp. 577-613
-
-
Scott, D.S.1
-
42
-
-
0012991877
-
Remarques sur les notions fondamentales de la méthodologie des mathématiques
-
Tarski A. Remarques sur les notions fondamentales de la méthodologie des mathématiques. Annales de la Société Polonaise de Mathématiques 7 (1929) 270-272
-
(1929)
Annales de la Société Polonaise de Mathématiques
, vol.7
, pp. 270-272
-
-
Tarski, A.1
-
43
-
-
0011603823
-
A theory of finite closure spaces based on implications
-
Wild M. A theory of finite closure spaces based on implications. Advances in Mathematics 108 1 (1994) 118-139
-
(1994)
Advances in Mathematics
, vol.108
, Issue.1
, pp. 118-139
-
-
Wild, M.1
|