we dont actually have an appendix for the refinement paper
authorRalf Jung <post@ralfj.de>
Tue, 11 Oct 2016 16:46:14 +0000 (18:46 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 11 Oct 2016 16:46:14 +0000 (18:46 +0200)
commit2f390db778cc8d05beb9c0562a14962238bb5ba9
tree0bdd207df9ac11372ce7abd45aa3dc3cc3844248
parent1b292c9b8cc968d424cb9b50b1e58510b36975ed
we dont actually have an appendix for the refinement paper
research/publications.html