Removing Cycles from Proofs

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Research output: Contribution to conferencePaper

4 Citations (Scopus)
33 Downloads (Pure)

Conference

Conference26th EACSL Annual Conference on Computer Science Logic 2017
Abbreviated titleCSL
Period20/08/17 → …
Internet address

Projects

  • Profiles

    Cite this

    Aler Tubella, A., Guglielmi, A., & Ralph, B. (2017). Removing Cycles from Proofs. Paper presented at 26th EACSL Annual Conference on Computer Science Logic 2017, .