Article,

On the relative proof complexity of deep inference via atomic flows.

.
Log. Methods Comput. Sci., (2015)

Meta data

Tags

Users

  • @anupamdas
  • @dblp

Comments and Reviews