Ale\v{s} Bizjak (Aarhus University

Identifiers

• name variant Ale\v{s} Bizjak (Aarhus University 0.60 · backfill

Papers (1)

1. Step-Indexed Relational Reasoning for Countable Nondeterminism cs.LO · 2013 · author #2

Mentions

• 1310.2031 #2 · backfill · confidence 0.70 Ale\v{s} Bizjak (Aarhus University

Frequent Coauthors

• Denmark) 1 shared papers
• Jan Schwinghammer (Saarland University) 1 shared papers
• Lars Birkedal (IT University of Copenhagen) 1 shared papers