On various negative translations (2011)

First Author: Paulo Oliva (Author)

Attributed to: Computation-Sensitive Proofs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC10.4.pdf

Type: Conference/Paper/Proceeding/Abstract

Volume: 47

Parent Publication: Electronic Proceedings in Theoretical Computer Science