Search CORE

3 research outputs found

A Compendium of Continuous Lattices

Author
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1980
Field of study

Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

Author: EACSL Annual Conference on Computer Science Logic <27. 2018, Birmingham>
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/08/2018
Field of study

Digitale Bibliothek Thüringen

core

core