[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - A Constructive Proof of Dependent Choice, Compatible with Classical Logic
Herbelin, HugoYear:
2012
Language:
english
DOI:
10.1109/lics.2012.47
File:
PDF, 239 KB
english, 2012