×

Found 39 Documents (Results 1–39)

100
MathJax

Towards Galois connections over positive semifields. (English) Zbl 1455.68203

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, 81-92 (2016).
MSC:  68T30 06A15 12K10
PDF BibTeX XML Cite
Full Text: DOI Link

Causally consistent dynamic slicing. (English) Zbl 1392.68313

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 18, 15 p. (2016).
MSC:  68Q85 06A15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. (English) Zbl 1361.68129

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 311-324 (2016).
MSC:  68Q55 06A15 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bases of closure systems. (English) Zbl 1403.06004

Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 181-213 (2016).
MSC:  06B05 06A15 06D75
PDF BibTeX XML Cite
Full Text: DOI

Convex geometries. (English) Zbl 1390.06005

Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 153-179 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Lattices of algebraic subsets and implicational classes. (English) Zbl 1375.06005

Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 103-151 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Classification