MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Relational Galois Connections." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

Logical Relations and Galois Connections
by Kevin Backhouse, Roland Backhouse — 2002
…Logical Relations and Galois Connections Kevin Backhouse 1 and Roland Backhouse 2 1 Computing…
Add To MetaCart

Morphisms in Context
by Markus Krötzsch, Pascall Hitzler, Guo-qiang Zhang — 2005
…, scale measures, infomorphisms, and their respective relations to Galois connections. We summarize our…
Cited by 1 (1 self) – Add To MetaCart

Abstract Functional Dependency Structures
by F. Matus — 1991 — THEORET. COMP. SCI
… in the matroid theory manner. A Galois connection of the FD-relations with closure systems is elaborated…
Cited by 4 (3 self) – Add To MetaCart

Arbitrary relations in formal concept analysis and logical information systems
by Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau — 2005 — Stumme (Eds.): Conceptual Structures: Common Semantics for Sharing Knowledge
… that handles binary relations between objects. A Galois connection is defined on augmented contexts…
Cited by 5 (2 self) – Add To MetaCart

A Calculational Approach to Mathematical Induction
by Henk Doornbos, Roland Backhouse, Jaap Van Der Woude — 1994
… structures of a relation algebra. 8 3 Galois Connections and Fixed Points One reason why it is important…
Cited by 1 (0 self) – Add To MetaCart

Regular Closure Operators
by G. Castellini, J. Koslowski, G. E. Strecker — 1992 — Applied Categorical Structures
… operators on M , and its close relative, the Galois connection \Delta from the power collection of M…
Cited by 5 (2 self) – Add To MetaCart

Yet Another Ensemble of Abstract Interpreter, Higher-Order Data-Flow Equations, and Model Checking
by Kwangkeun Yi — 2001 — Technical Memorandum 2001-10, Research on Program Analysis System, National Creative Research Center, Korea Advanced Institute of Science and Technology
… ) () in (v 2 ; s 2 ) ( ) 2 The sign domain is a lattice whose elements have a sound relation (Galois…
Cited by 1 (0 self) – Add To MetaCart

The Use of Associative Concepts in the Incremental Building of a Logical Context
by Sébastien Ferré, Olivier Ridoux — 2002 — in "Int. Conf. Conceptual Structures
…, one can form a Galois connection between sets of objects and formulas with two applications oe K…
Cited by 5 (1 self) – Add To MetaCart

Discrete Deterministic Data Mining as Knowledge Compilation
by J.L. Balcázar, Departament De Lsi, J. Baixeries — 2003 — In Workshop on Discrete Math. and Data Mining at SIAM DM Conference
… the closely related Galois connection. We only depart slightly from the original proposed method by Pfaltz [8…
Cited by 3 (1 self) – Add To MetaCart

Galois Connections in Categorial Type Logic
by Carlos Areces, Raffaella Bernardi, Michael Moortgat — 2001
… will be considering are types, ordered by their derivability relation. Galois connected operators have been also…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB