Note on the Benefit of Proof Representations by Name

2019 ◽  
pp. 37-45
Author(s):  
Matthias Baaz
Sign in / Sign up

Export Citation Format

Share Document