Searching for authors named "Alessio Guglielmi" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
Normalisation Without Cut Elimination
- …NORMALISATION WITHOUT CUT ELIMINATION Alessio Guglielmi (TU Dresden) 10.5.2002 - updated on 25…
- Add To MetaCart
-
A Calculus of Order and Interaction
- … and Interaction Alessio Guglielmi Technische Universität Dresden Hans-Grundig-Str. 25 - 01062 Dresden - Germany…
- Cited by 6 (1 self) – Add To MetaCart
-
Concurrency and Plan Generation in a Logic Programming Language With a Sequential Operator
- ….di.unipi.it. Concurrency and plan generation in a logic programming language with a sequential operator Alessio Guglielmi…
- Cited by 10 (2 self) – Add To MetaCart
-
Sequentiality by Linear Implication and Universal Quantification
- …Sequentiality by Linear Implication and Universal Quantification Alessio Guglielmi Universit`a di…
- Cited by 5 (2 self) – Add To MetaCart
-
A system of interaction and structure
- … of Interaction and Structure Alessio Guglielmi International Center for Computational Logic Technische…
- Cited by 59 (9 self) – Add To MetaCart
-
Logic and Formal Languages]: Mathematical Logic—Proof theory
- …On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath…
- Add To MetaCart
-
Expressiveness of the logic programming language Forum in planning and concurrency
- … Ancona, Italy ph.: +39 (71) 220 4823 fax: +39 (71) 220 4474 paola@(email omitted); Alessio Guglielmi Universit…
- Add To MetaCart
-
On analytic inference rules in the calculus of structures. http://cs.bath.ac.uk/ag/p/Onan.pdf
- …ON ANALYTIC INFERENCE RULES IN THE CALCULUS OF STRUCTURES PAOLA BRUSCOLI AND ALESSIO GUGLIELMI…
- Cited by 2 (2 self) – Add To MetaCart
-
A Linear Logic View of Gamma Style Computations as Proof Searches
- … (50) 887 226 Alessio Guglielmi Universit`a di Pisa, Dipartimento di Informatica, Corso Italia 40…
- Cited by 6 (0 self) – Add To MetaCart
-
Normalisation control in deep inference via atomic flows
- …Normalisation Control in Deep Inference Via Atomic Flows Alessio Guglielmi and Tom Gundersen…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
