## Found 5 Documents (Results 1–5)

100
MathJax

### Galois connections for patterns: an algebra of labelled graphs. (English)Zbl 1467.68176

Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 125-150 (2021).
Full Text:

Full Text:

### A Galois connection for valued constraint languages of infinite size. (English)Zbl 1440.68115

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 517-528 (2015).
Full Text:

Full Text:

### An algebraic theory of complexity for valued constraints: establishing a Galois connection. (English)Zbl 1343.68106

Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 231-242 (2011).
MSC:  68Q25 06A15 90C60
Full Text:

all top 3