The SCEAS System
| |||||||

## Search the dblp DataBase
Alessio Guglielmi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Paola Bruscoli, Alessio Guglielmi
**Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.**[Citation Graph (0, 0)][DBLP] GULP-PRODE (2), 1994, pp:221-237 [Conf] - Paola Bruscoli, Alessio Guglielmi
**A Linear Logic Programming Language with Parallel and Sequential Conjunction.**[Citation Graph (0, 0)][DBLP] GULP-PRODE, 1995, pp:409-420 [Conf] - Alessio Guglielmi, G. Levi
**Chemical Logic Programming?**[Citation Graph (0, 0)][DBLP] GULP, 1993, pp:39-54 [Conf] - Alessio Guglielmi, Lutz Straßburger
**Non-commutativity and MELL in the Calculus of Structures.**[Citation Graph (0, 0)][DBLP] CSL, 2001, pp:54-68 [Conf] - Paola Bruscoli, Alessio Guglielmi
**A Tutorial on Proof Theoretic Foundations of Logic Programming.**[Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:109-127 [Conf] - Alessio Guglielmi
**Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator.**[Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:240-254 [Conf] - Paola Bruscoli, Alessio Guglielmi
**On Structuring Proof Search for First Order Linear Logic.**[Citation Graph (0, 0)][DBLP] LPAR, 2003, pp:389-406 [Conf] - Alessio Guglielmi, Lutz Straßburger
**A Non-commutative Extension of MELL.**[Citation Graph (0, 0)][DBLP] LPAR, 2002, pp:231-246 [Conf] - Paola Bruscoli, Alessio Guglielmi
**On Structuring Proof Search for First Order Linear Logic**[Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal] - Alessio Guglielmi
**A System of Interaction and Structure**[Citation Graph (0, 0)][DBLP] CoRR, 1999, v:0, n:, pp:- [Journal] - Paola Bruscoli, Alessio Guglielmi
**On structuring proof search for first order linear logic.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:360, n:1-3, pp:42-76 [Journal] - Alessio Guglielmi
**A system of interaction and structure.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal] - Paola Bruscoli, Alessio Guglielmi
**On the Proof Complexity of Deep Inference**[Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal] - Alessio Guglielmi, Tom Gundersen
**Normalisation Control in Deep Inference Via Atomic Flows**[Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal] **Breaking Paths in Atomic Flows for Classical Logic.**[Citation Graph (, )][DBLP]**A Proof Calculus Which Reduces Syntactic Bureaucracy.**[Citation Graph (, )][DBLP]**A System of Interaction and Structure IV: The Exponentials and Decomposition**[Citation Graph (, )][DBLP]**Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae**[Citation Graph (, )][DBLP]
Search in 0.014secs, Finished in 0.015secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |