×

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Classification