×

Found 375 Documents (Results 1–100)

100
MathJax

Proper mergings of stars and chains are counted by sums of antidiagonals in certain convolution arrays. (English) Zbl 1396.06001

Cellier, Peggy (ed.) et al., Formal concept analysis. 11th international conference, ICFCA 2013, Dresden, Germany, May 21–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38316-8/pbk). Lecture Notes in Computer Science 7880. Lecture Notes in Artificial Intelligence, 172-187 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Merging ordered sets. (English) Zbl 1327.06003

Valtchev, Petko (ed.) et al., Formal concept analysis. 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2–6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20513-2/pbk). Lecture Notes in Computer Science 6628. Lecture Notes in Artificial Intelligence, 183-203 (2011).
MSC:  06A06 06B23
PDF BibTeX XML Cite
Full Text: DOI

A constructive denotational semantics for Kahn networks in Coq. (English) Zbl 1195.68063

Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 383-413 (2009).
MSC:  68Q55 68N30 68T15
PDF BibTeX XML Cite

Mathematical theory of domains. Paperback reprint of the hardback edition 1994. (English) Zbl 1139.06001

Cambridge Tracts in Theoretical Computer Science 22. Cambridge: Cambridge University Press (ISBN 978-0-521-06479-8/pbk). xii, 349 p. (2008).
PDF BibTeX XML Cite

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

all top 3

Software