Removing Cycles from Proofs

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Research output: Contribution to conferencePaper

4 Citations (Scopus)
34 Downloads (Pure)

Conference

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

Cite this