Inproceedings,

Complexity of Deep Inference via Atomic Flows.

.
CiE, volume 7318 of Lecture Notes in Computer Science, page 139-150. Springer, (2012)

Meta data

Tags

Users

  • @anupamdas
  • @dblp

Comments and Reviews