Deep Inference

Research output: Chapter in Book/Report/Conference proceedingChapter

LanguageEnglish
Title of host publicationAll About Proofs, Proofs for All
PublisherCollege Publications
ISBN (Print)978-1-84890-166-7
StatusPublished - 2015

Publication series

NameMathematical Logic and Foundations
PublisherCollege Publications

Cite this

Guglielmi, A. (2015). Deep Inference. In All About Proofs, Proofs for All (Mathematical Logic and Foundations). College Publications.

Deep Inference. / Guglielmi, Alessio.

All About Proofs, Proofs for All. College Publications, 2015. (Mathematical Logic and Foundations).

Research output: Chapter in Book/Report/Conference proceedingChapter

Guglielmi, A 2015, Deep Inference. in All About Proofs, Proofs for All. Mathematical Logic and Foundations, College Publications.
Guglielmi A. Deep Inference. In All About Proofs, Proofs for All. College Publications. 2015. (Mathematical Logic and Foundations).
Guglielmi, Alessio. / Deep Inference. All About Proofs, Proofs for All. College Publications, 2015. (Mathematical Logic and Foundations).
@inbook{1e2f5a167ea1430e9fe6993d27e66a81,
title = "Deep Inference",
author = "Alessio Guglielmi",
year = "2015",
language = "English",
isbn = "978-1-84890-166-7",
series = "Mathematical Logic and Foundations",
publisher = "College Publications",
booktitle = "All About Proofs, Proofs for All",

}

TY - CHAP

T1 - Deep Inference

AU - Guglielmi,Alessio

PY - 2015

Y1 - 2015

UR - http://cs.bath.ac.uk/ag/p/DI.pdf

M3 - Chapter

SN - 978-1-84890-166-7

T3 - Mathematical Logic and Foundations

BT - All About Proofs, Proofs for All

PB - College Publications

ER -