## Found 26 Documents (Results 1–26)

100
MathJax

### Pre-Galois connection on coalgebras for generic component refinement. (English)Zbl 1279.68061

Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 203-217 (2008).
MSC:  68N30 06A15 18C20
Full Text:

### Implication and functional dependency in intensional contexts. (English)Zbl 1270.68296

MSC:  68T30 06A15 68P15

### Relationships between Galois connections and operators. (English)Zbl 1236.06001

MSC:  06A15 18A22 18B30
Full Text:

Full Text:

### Relating generalized concept lattices and concept lattices for non-commutative conjunctors. (English)Zbl 1187.06003

MSC:  06B99 03B52 06A15
Full Text:

### On residuated mappings. (English)Zbl 1174.06301

MSC:  06A06 06A15 06B23

Full Text:

### Sublattices of the direct product. (English)Zbl 1170.06003

MSC:  06B23 06A15
Full Text:

### Ortho and causal closure operations in ordered vector spaces. (English)Zbl 1161.06003

MSC:  06C15 06F20 06A15
Full Text:

### Radon and Helly numbers of segment spaces. (English)Zbl 1169.05048

Changat, Manoj (ed.) et al., Convexity in discrete structures. Joint proceedings of the international instructional workshop on convexity in discrete structures, Thiruvananthapuram, Kerala, India, March 22–April 2, 2006 and the international workshop on metric and convex graph theory, Barcelona, Spain, June 12–16, 2006. Mysore: Ramanujan Mathematical Society (ISBN 978-81-902545-5-7/hbk). Ramanujan Mathematical Society Lecture Notes Series 5, 57-71 (2008).

### Partial polymorphisms and constraint satisfaction problems. (English)Zbl 1171.68502

Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 229-254 (2008).
Full Text:

### Basics of Galois connections. (English)Zbl 1171.06301

Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 38-67 (2008).
MSC:  06A15
Full Text:

### Non-uniform Boolean constraint satisfaction problems with cardinality constraint. (English)Zbl 1156.68399

Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 109-123 (2008).
MSC:  68Q25 06A15 68T20
Full Text:

### Interior and closure operators on bounded commutative residuated $$\ell$$-monoids. (English)Zbl 1227.06014

MSC:  06F05 03G25 06A15
Full Text:

Full Text:

### Some decision and counting problems of the Duquenne-Guigues basis of implications. (English)Zbl 1160.68031

MSC:  68T30 06A15 68Q17
Full Text:

### Classification and enumeration of bases in $$P_k(2)$$. (English)Zbl 1169.08002

MSC:  08A40 06A15
Full Text:

### Chu correspondences. (English)Zbl 1146.06002

MSC:  06A15 06B23 18B99
Full Text:

### Generalistic mathematics as mathematics for the general public. (English)Zbl 1221.00004

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 211-225 (2008).
MSC:  00A06 06A15

### Closure lattices of closure spaces. (English)Zbl 1148.06003

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 175-188 (2008).
MSC:  06B23 06A15 06B15

Full Text:

### Closure systems of equivalence relations and their labeled class geometries. (English)Zbl 1134.68054

Ben Yahia, Sadok (ed.) et al., Concept lattices and their applications. Fourth international conference, CLA 2006, Tunis, Tunisia, October 30–November 1, 2006. Selected papers. Berlin: Springer (ISBN 978-3-540-78920-8/pbk). Lecture Notes in Computer Science 4923. Lecture Notes in Artificial Intelligence, 96-106 (2008).
MSC:  68T30 06A15
Full Text:

### Congruences on dynamic algebras. (English)Zbl 1147.03036

MSC:  03G25 06A15 06E25
Full Text:

all top 3