Klaus Keimel

Identifiers

• name variant Klaus Keimel 0.60 · backfill

Papers (4)

1. The Cuntz semigroup and domain theory math.OA · 2016 · author #1
2. On the equivalence of state transformer semantics and predicate transformer semantics cs.LO · 2014 · author #1
3. Observationally-induced algebras in Domain Theory cs.LO · 2014 · author #2
4. Sheaf Representations for Algebraic Systems. A personal historical account math.HO · 2013 · author #1

Mentions

• 1410.7930 #1 · backfill · confidence 0.70 Klaus Keimel
• 1409.1544 #2 · backfill · confidence 0.70 Klaus Keimel
• 1308.6249 #1 · backfill · confidence 0.70 Klaus Keimel

Frequent Coauthors

• Ingo Battenfeld 1 shared papers
• Thomas Streicher 1 shared papers