×

Found 33 Documents (Results 1–33)

Weakening relation algebras and \(\mathrm{FL}^2\)-algebras. (English) Zbl 07578338

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 117-133 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Commutative doubly-idempotent semirings determined by chains and by preorder forests. (English) Zbl 07578331

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 1-14 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI Link

Relational lattices via duality. (English) Zbl 1477.06015

Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 195-215 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software