×

Found 110 Documents (Results 1–100)

Linearizable replicated state machines with lattice agreement. (English) Zbl 1504.68019

Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 29, 16 p. (2020).
MSC:  68M14 68M12 68M15

Logical analysis of concept lattices by factorization. (English) Zbl 1360.68799

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 16-27 (2012).
Full Text: DOI

A note on the tolerance lattices of majority algebras. (English) Zbl 1083.08001

Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 209-212 (2005).
MSC:  08A30 06B10

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software