Zobrazeno 1 - 10
of 114
pro vyhledávání: '"Keimel, Klaus"'
Autor:
Keimel, Klaus, Plotkin, Gordon D.
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 1 (January 24, 2017) lmcs:2578
We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equation-al theories; we establish functional representation theorems; and we show equivalencies
Externí odkaz:
http://arxiv.org/abs/1612.01005
Autor:
Keimel, Klaus
Domain theory has its origins in Mathematics and Theoretical Computer Science. Mathematically it combines order and topology. Its central concepts have their origin in the idea of approximating ideal objects by their relatively finite or, more genera
Externí odkaz:
http://arxiv.org/abs/1605.07654
Autor:
Keimel, Klaus
Publikováno v:
Logical Methods in Computer Science, Volume 11, Issue 3 (September 25, 2015) lmcs:1597
In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluation at a uniquely determined point of the given vector space. M. Schroed
Externí odkaz:
http://arxiv.org/abs/1507.06796
Autor:
Keimel, Klaus
Publikováno v:
Proceedings of the Workshop Informatics and Information Technologies in Education: Theory, Practice, Didactics, Novosibirsk, vol. 1 (2012), 78--104
G. Plotkin and the author have worked out the equivalence between state transformer semantics and predicate transformer semantics in a domain theoretical setting for programs combining nondeterminism and probability. Works of C. Morgan and co-authors
Externí odkaz:
http://arxiv.org/abs/1410.7930
Publikováno v:
Logical Methods in Computer Science, Volume 10, Issue 3 (September 11, 2014) lmcs:963
In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the particular case where the ambient category is given by classical domain t
Externí odkaz:
http://arxiv.org/abs/1409.1544
Autor:
Keimel, Klaus
From personal experience, I report about the development of sheaf representations for algebraic structures between the years 1966 and 1976. Starting with rings, lattice-ordered groups and rings it turns to general algebraic structures.
Comment:
Comment:
Externí odkaz:
http://arxiv.org/abs/1308.6249
Autor:
Keimel, Klaus
Publikováno v:
In Electronic Notes in Theoretical Computer Science 19 September 2017 333:3-16
Autor:
Keimel, Klaus
Publikováno v:
In Electronic Notes in Theoretical Computer Science 21 December 2015 319:255-270