×

Found 6 Documents (Results 1–6)

Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. (English) Zbl 1493.68008

Lecture Notes in Computer Science 12062. Cham: Springer (ISBN 978-3-030-43519-6/pbk; 978-3-030-43520-2/ebook). xviii, 335 p. (2020).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. (English) Zbl 1284.68016

Lecture Notes in Computer Science 8428. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). xi, 463 p. (2014).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Residuated lattices. An algebraic glimpse at substructural logics. (English) Zbl 1171.03001

Studies in Logic and the Foundations of Mathematics 151. Amsterdam: Elsevier (ISBN 978-0-444-52141-5/hbk). xxi, 509 p. (2007).
PDFBibTeX XMLCite

General lattice theory. With appendices with B. A. Davey, R. Freese, B. Ganter, M. Greferath, P. Jipsen, H. A. Priestley, H. Rose, E. T. Schmidt, S. E. Schmidt, F. Wehrung and R. Wille. Paperback reprint of the 1998 2nd edition. (English) Zbl 1152.06300

Basel: Birkhäuser (ISBN 978-3-7643-6996-5/pbk). xx, 663 p. (2003).
PDFBibTeX XMLCite

General lattice theory. New appendices with B. A. Davey, R. Freese, B. Ganter, M. Greferath, P. Jipsen, H. A. Priestley, H. Rose, E. T. Schmidt, S. E. Schmidt, F. Wehrung, R. Wille. 2nd ed. (English) Zbl 0909.06002

Basel: Birkhäuser. xix, 663 p. (1998).
PDFBibTeX XMLCite

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field