×

Found 35 Documents (Results 1–35)

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

Patterns in random permutations avoiding some other patterns. (English) Zbl 1483.60014

Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 6, 12 p. (2018).
MSC:  60C05 05A05
PDF BibTeX XML Cite
Full Text: DOI

On singleton arc consistency for CSPs defined by monotone patterns. (English) Zbl 1487.68208

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 19, 15 p. (2018).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI arXiv

The domino problem for self-similar structures. (English) Zbl 1479.05049

Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 205-214 (2016).
MSC:  05B45 52C22
PDF BibTeX XML Cite
Full Text: DOI

Forbidden patterns and unit distances. (English) Zbl 1387.05124

Proceedings of the 21st annual symposium on computational geometry, SCG 2005, Pisa, Italy, June 6–8, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-991-8). 1-9 (2005).
MSC:  05C35 68U05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software