×

Found 930 Documents (Results 1–100)

Relational powerset theories. (English) Zbl 1514.18008

Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 191-197 (2022).
MSC:  18D70 03E72 03E99
PDFBibTeX XMLCite
Full Text: DOI

A hybrid adjacency and time-based data structure for analysis of temporal networks. (English) Zbl 1510.68017

Benito, Rosa Maria (ed.) et al., Complex networks & their applications X. Volume 1. Proceedings of the 10th international conference, COMPLEX NETWORKS 2021, Madrid, Spain, November 30 – December 2, 2021. Cham: Springer. Stud. Comput. Intell. 1015, 593-604 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cherlin’s conjecture for finite primitive binary permutation groups. (English) Zbl 1515.20011

Lecture Notes in Mathematics 2302. Cham: Springer (ISBN 978-3-030-95955-5/pbk; 978-3-030-95956-2/ebook). ix, 213 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monads on categories of relational structures. (English) Zbl 07774240

Gadducci, Fabio (ed.) et al., 9th conference on algebra and coalgebra in computer science, CALCO 2021, Salzburg, Austria, August 31 – September 3, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 211, Article 14, 17 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A generalization of the Artin theorem. (English. Russian original) Zbl 1504.08001

J. Contemp. Math. Anal., Armen. Acad. Sci. 56, No. 2, 104-111 (2021); translation from Izv. Nats. Akad. Nauk Armen., Mat. 56, No. 2, 58-70 (2021).
PDFBibTeX XMLCite
Full Text: DOI

On the relational width of first-order expansions of finitely bounded homogeneous binary cores with bounded strict width. (English) Zbl 1498.03071

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 958-971 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A unified approach to structural limits and limits of graphs with bounded tree-depth. (English) Zbl 1491.03004

Memoirs of the American Mathematical Society 1272. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4065-7/pbk; 978-1-4704-5652-8/ebook). v, 108 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dismantlability, connectedness, and mixing in relational structures. (English) Zbl 1503.08001

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 29, 15 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

On the expressive power of query languages for matrices. (English) Zbl 1489.68071

Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 98, Article 10, 17 p. (2018).
MSC:  68P15 68P05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proving uniformity and independence by self-composition and coupling. (English) Zbl 1403.68140

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 385-403 (2017).
MSC:  68Q87 03B70 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Querying relational event graphs using colored range searching data structures. (English) Zbl 1453.68128

Gaur, Daya (ed.) et al., Algorithms and discrete applied mathematics. Third international conference, CALDAM 2017, Sancoale, Goa, India, February 16–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10156, 83-95 (2017).
MSC:  68R10 68P05 91D30
PDFBibTeX XMLCite
Full Text: DOI

How to incorporate excluding features in fuzzy relational compositions and what for. (English) Zbl 1455.03068

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 470-481 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software