On the relative proof complexity of deep inference via atomic flows

Authors
Publication date
Publisher
'Logical Methods in Computer Science e.V.'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      oaiinfo:doi/10.2168%2Flmcs-11%281...
      Last time updated on 01/04/2019