Ingo Battenfeld

Identifiers

• name variant Ingo Battenfeld 0.60 · backfill

Papers (1)

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