Playing in the Grey Area of Proofs (bibtex)
by Kryštof Hoder, Laura Kovács, Andrei Voronkov
Reference:
Playing in the Grey Area of ProofsKryštof Hoder, Laura Kovács, Andrei VoronkovProceedings of ACM SIGACT-SIGPLAN International Symposium on Principles of Programming Languages (POPL), volume 47 of ACM SIGPLAN Notices, pages 259-272, 2012.
Bibtex Entry:
@inproceedings{POPL12_Kovacs,
title = {Playing in the Grey Area of Proofs},
url = {/pubpdf/Playing_in_the_Grey_Area_of_Proofs.pdf},
series = {ACM SIGPLAN Notices},
booktitle = {Proceedings of ACM SIGACT-SIGPLAN International Symposium on Principles
of Programming Languages (POPL)},
author = {Kry\v{s}tof Hoder and Laura Kov\'acs and Andrei Voronkov},
number = {1},
volume = {47},
year = {2012},
pages = {259-272},
}
Powered by bibtexbrowser