• 1 WEST 4.55

Accepting PhD Students

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

Research Output 2001 2018

Filter
Chapter
2015
32 Downloads (Pure)

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
2014
2 Citations (Scopus)

A Logical Basis for Quantum Evolution and Entanglement

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 2014, Categories and Types in Logic, Language, and Physics. Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

Research output: Chapter in Book/Report/Conference proceedingChapter

inference
logic
apexes
strings
tensors
2010
16 Citations (Scopus)
31 Downloads (Pure)

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
Calculus
Sequent Calculus
Proof System
Cut-elimination
Propositional Logic
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

Inference
Order systems
Logic
2003
1 Citation (Scopus)

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

Logic programming
Computer programming languages