Concepedia

Alessio Guglielmi

AG

Statistics

Publications

10

Citations

412

H-Index

10

Active since

1999

Affiliations

University of Bath(Current)

École Polytechnique

Centre Inria de Saclay

Laboratoire d'Informatique de l'École Polytechnique

Institut national de recherche en sciences et technologies du numérique

Alessio Guglielmi is an author at University of Bath specializing in automated reasoning, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationPhysicsLinguisticsDiscrete MathematicsSyntaxLanguage

Publications per year

1999–2011

10

Publications

10

A system of interaction and structure

Alessio Guglielmi · ACM Transactions on Computational Logic · 2007 · 211 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +13

Normalisation Control in Deep Inference via Atomic Flows

Alessio Guglielmi, Tom Gundersen · Logical Methods in Computer Science · 2008 · 45 citations · Full text

Engineering, Machine Learning, Classical Logic +20

A Proof Calculus Which Reduces Syntactic Bureaucracy

Alessio Guglielmi, Tom Gundersen, Michel Parigot · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 35 citations · Full text

Engineering, Tree Structure, Automated Reasoning +13

A system of interaction and structure V: the exponentials and splitting

Alessio Guglielmi, Lutz Straßburger · Mathematical Structures in Computer Science · 2011 · 26 citations · Full text

Engineering, Higher-order Logic, Computational Logic +19

A system of interaction and structure IV

Lutz Straß Burger, Alessio Guglielmi · ACM Transactions on Computational Logic · 2011 · 24 citations · Full text

Computational Logic, Algebraic Logic, Non-classical Logic +12

Rows per page

1–5 of 10