Removing Cycles from Proofs

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Research output: Contribution to conferencePaperpeer-review

5 Citations (Scopus)
40 Downloads (Pure)

Conference

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

Cite this