Removing Cycles from Proofs

Andrea Aler Tubella; Alessio Guglielmi; Benjamin Ralph

Removing Cycles from Proofs

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Université Paris Diderot

Research output: Contribution to conference › Paper › peer-review

6 Citations (SciVal)

89 Downloads (Pure)

Original language	English
Publication status	Published - 20 Aug 2017
Event	26th EACSL Annual Conference on Computer Science Logic 2017 - Duration: 20 Aug 2017 → … 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

Conference

Conference	26th EACSL Annual Conference on Computer Science Logic 2017
Abbreviated title	CSL
Period	20/08/17 → …
Internet address	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

Access to Document

RCPLicence: CC BY

Efficient and Natural Proof Systems
Guglielmi, A. (PI), Bruscoli, P. (CoI) & McCusker, G. (CoI)
Engineering and Physical Sciences Research Council
1/02/13 → 12/05/16
Project: Research council

Cite this

@conference{243534b39b904476818d604f92cd5856,

title = "Removing Cycles from Proofs",

author = "{Aler Tubella}, Andrea and Alessio Guglielmi and Benjamin Ralph",

year = "2017",

month = aug,

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

}

Removing Cycles from Proofs

Conference

Access to Document

Projects

Efficient and Natural Proof Systems

Cite this