×

Found 1,159 Documents (Results 101–200)

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

Activating generalized fuzzy implications from Galois connections. (English) Zbl 1360.03070

Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 201-212 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

Lattice-based semantics for combinatorial model evolution. (English) Zbl 1471.68125

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 276-292 (2015).
PDF BibTeX XML Cite
Full Text: DOI

A Galois connection for valued constraint languages of infinite size. (English) Zbl 1440.68115

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 517-528 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification