Removing Cycles from Proofs

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Research output: Contribution to conferencePaper

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, .

Removing Cycles from Proofs. / Aler Tubella, Andrea; Guglielmi, Alessio; Ralph, Benjamin.

2017. Paper presented at 26th EACSL Annual Conference on Computer Science Logic 2017, .

Research output: Contribution to conferencePaper

Aler Tubella, A, Guglielmi, A & Ralph, B 2017, 'Removing Cycles from Proofs' Paper presented at 26th EACSL Annual Conference on Computer Science Logic 2017, 20/08/17, .
Aler Tubella A, Guglielmi A, Ralph B. Removing Cycles from Proofs. 2017. Paper presented at 26th EACSL Annual Conference on Computer Science Logic 2017, .
Aler Tubella, Andrea ; Guglielmi, Alessio ; Ralph, Benjamin. / Removing Cycles from Proofs. Paper presented at 26th EACSL Annual Conference on Computer Science Logic 2017, .
@conference{243534b39b904476818d604f92cd5856,
title = "Removing Cycles from Proofs",
author = "{Aler Tubella}, Andrea and Alessio Guglielmi and Benjamin Ralph",
year = "2017",
month = "8",
day = "20",
language = "English",
note = "26th EACSL Annual Conference on Computer Science Logic 2017, CSL ; Conference date: 20-08-2017",
url = "https://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co/computer-science-logic-2017-august-20-24-1.717663",

}

TY - CONF

T1 - Removing Cycles from Proofs

AU - Aler Tubella,Andrea

AU - Guglielmi,Alessio

AU - Ralph,Benjamin

PY - 2017/8/20

Y1 - 2017/8/20

M3 - Paper

ER -