,

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

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

Метаданные

тэги

Пользователи данного ресурса

  • @anupamdas
  • @dblp

Комментарии и рецензии