Alexander Bau

Identifiers

• name variant Alexander Bau 0.60 · backfill

Papers (1)

1. Propositional Encoding of Constraints over Tree-Shaped Data cs.PL · 2013 · author #1

Mentions

• 1305.4957 #1 · backfill · confidence 0.70 Alexander Bau

Frequent Coauthors

• Johannes Waldmann 1 shared papers