• 1 WEST 4.55

Accepting Doctoral Students

20012018

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2015

Deep Inference

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
56 Downloads (Pure)
2014

A logical basis for quantum evolution and entanglement

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 31 Dec 2014, Categories and Types in Logic, Language, and Physics. Casadio, C., Coecke, B., Moortgat, M. & Scott, P. (eds.). Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)
2010

A proof calculus which reduces syntactic bureaucracy

Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 6. p. 135-150 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
19 Citations (Scopus)
46 Downloads (Pure)
2004

A First Order System with Finite Choice of Premises

Bruennler, K. & Guglielmi, A., 2004, First-Order Logic Revisited. Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. & Wansing, H. (eds.). Logos Verlag, p. 59-74 16 p. (Logische Philosophie).

Research output: Chapter in Book/Report/Conference proceedingChapter

2003

A Tutorial on Proof Theoretic Foundations of Logic Programming

Bruscoli, P. & Guglielmi, A., 2003, Logic Programming, 19th International Conference - Lecture Notes in Computer Science. Springer, Vol. 2916. p. 109-127 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)