Ingo Battenfeld
Identifiers
- name variant Ingo Battenfeld 0.60 · backfill
Papers (1)
- Observationally-induced algebras in Domain Theory cs.LO · 2014 · author #1
Mentions
- 1409.1544 #1 · backfill · confidence 0.70 Ingo Battenfeld
Frequent Coauthors
- Klaus Keimel 1 shared papers
- Thomas Streicher 1 shared papers