Find:

Searching for PHRASE alessio montone.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
No documents match Boolean query. Trying non-Boolean relevance query.
198 documents found. Only retrieving 125 documents (System busy - maximum reduced). Order: relevance to query.

Deduction - Furbach, Ganzinger   (Correct)
.21 Kai Brunnler, Paola Bruscoli, Alessio Guglielmi, Ste#en Holldobler, Lutz Straburger:
of Structures Kai Brunnler, Paola Bruscoli, Alessio Guglielmi, Ste#en Holldobler, Lutz Straburger,
www.lsi.upc.es/~roberto/papers/dagstuhl-report-01.pdf

MELL in the Calculus of Structures - Straßburger (2003)   (Correct)
conditions for doing research. I am grateful to Alessio Guglielmi for introducing to methecalculus of
to the clarity of the paper. Paola Bruscoli and Alessio Guglielmi struggled themselves through
www.ps.uni-sb.de/~lutz/papers/els.pdf

Implementing Deep Inference in TOM - Kahramanogullari, Moreau, Reilles (2005)   (Correct)   (1 citation)
Science, pages 302-316. Springer-Verlag, 2002. 5. Alessio Guglielmi. A system of interaction and
in ACM Transactions on Computational Logic. 6. Alessio Guglielmi. Mismatch. Available on the web at
www.informatik.uni-leipzig.de/~ozan/Papers/commut.ps

Naming Proofs in Classical Propositional Logic - Lamarche, Straßburger (2005)   (Correct)   (3 citations)
Science. Cambridge University Press, 1989. 14. Alessio Guglielmi. A system of interaction and
de/guglielm/Research/Gug/Gug.pdf. 15. Alessio Guglielmi and Lutz Straburger. Non-commutativity
www.ps.uni-sb.de/~lutz/papers/namingproofsCL.pdf

Reasoning about Visibility, Perception, and Knowledge - Wooldridge, Lomuscio   (Correct)
Perception, and Knowledge Michael Wooldridge and Alessio Lomuscio Department of Electronic Engineering
Kaufmann Publishers: San Mateo, CA, 1987. 7. Alessio Lomuscio and Mark Ryan. A spectrum of modes of
www.csc.liv.ac.uk/~mjw/pubs/atal99a.ps.gz

Combining Logics for Multi-agent Systems - Lomuscio, Ryan (1997)   (Correct)
Combining Logics for Multi-agent Systems Alessio Lomuscio and Mark Ryan School of Computer
The Journal of Symbolic Logic, 1991. LC96] Alessio Lomuscio and Marco Colombetti. QLB: A quantified
ftp.cs.bham.ac.uk/pub/authors/A.R.Lomuscio/ModelAge97.ps.gz

On-line Randomized Call Control Revisited - Leonardi, Marchetti-Spaccamela, .. (1998)   (Correct)   (15 citations)
Leonardi yy Alberto Marchetti-Spaccamela z Alessio Presciutti y Adi Ros'en x Abstract We
Stefano Leonardi, Alberto Marchetti-Spaccamela, Alessio Presciutti, Adi Rose
www.dis.uniroma1.it/pub/Theory/alcom-it/AlcomArchive/WP3/OnlRanCalCon.ps.gz

System BV without the Equalities for Unit - Kahramanogullari (2004)   (Correct)   (5 citations)
DFG Graduiertenkolleg 446. I would like to thank Alessio Guglielmi, Ste#en Holldobler, Roy Dyckho #and
Science, pages 1684-1703. Springer, 1999. 6. Alessio Guglielmi. A system of interaction and
www.informatik.uni-leipzig.de/~ozan/Papers/bvn.pdf

Constructing free Boolean categories - Lamarche, al. (2005)   (Correct)   (1 citation)
alessio.guglielmi.name/res/cos/index.html [LS05a]
www.ps.uni-sb.de/~lutz/papers/FreeBool.pdf

From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2004)   (Correct)
3. Elsevier Science Publishers, 1996. GS01] Alessio Guglielmi and Lutz Straburger. Non-commutativity
alessio.guglielmi.name/res/cos/index.html From Proof
www.ps.uni-sb.de/~lutz/papers/freestaraut.pdf

Bounded Model Checking for Interpreted Systems.. - Lomuscio, Lasica.. (2003)   (Correct)   (1 citation)
London, London WC2R 2LS, United Kingdom email: alessio@dcs.kcl.ac.uk 2 Institute of Computer Science,
www.cs.ucl.ac.uk/staff/A.Lomuscio/papers/Faabs02.ps

A Local System for Linear Logic - Straßburger (2002)   (Correct)   (5 citations)
doing research. In particular, I am grateful to Alessio Guglielmi for teaching me proof theory and
Theoretical Computer Science, 50:1-102, 1987. 5] Alessio Guglielmi. A Calculus of Order and Interaction.
iccl.tu-dresden.de/~lutz/lls.pdf

Notes on the Construction of the Moduli Space of Curves - Dan Edidin Department (2000)   (Correct)   (1 citation)
on the material in these notes. Thanks also to Alessio Corti for useful discussions. 1. Basics.
www.mathe2.uni-bayreuth.de/axel/papers/./edidin:notes_on_the_construction_of_the_moduli_space_of_curves.ps.gz

The Undecidability of System NEL - Straßburger (2003)   (Correct)
Theoretical Computer Science, 50:1-102, 1987. 6] Alessio Guglielmi. Butterflies, 2002. On the web at:
de/guglielm/Research/Notes/AG7.pdf. 7] Alessio Guglielmi. A system of interaction and
iccl.tu-dresden.de/~lutz/NELundeci.pdf

MobileRMI: a toolkit for enhancing Java Remote Method.. - Avvenuti, Vecchio   (Correct)
Method Invocation with mobility Marco Avvenuti, Alessio Vecchio Dip. di Ingegneria dell'Informazione,
Method Invocation with mobility Marco Avvenuti, Alessio Vecchio Introducing object mobility in Java R
cuiwww.unige.ch/~ecoopws/ws00/papers/rmi.ps

System NEL is Undecidable - Straßburger (2003)   (Correct)   (2 citations)
Theoretical Computer Science, 50:1-102, 1987. 6] Alessio Guglielmi. Butterflies, 2002. On the web at:
de/guglielm/Research/Notes/AG7.pdf. 7] Alessio Guglielmi. A system of interaction and
www.ps.uni-sb.de/~lutz/papers/NELundec_wollic03.pdf

Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003)   (Correct)
London, London WC2R 2LS, United Kingdom email: alessio@dcs.kcl.ac.uk 3 Institute of Computer Science,
www.ipipan.waw.pl/~penczek/WPenczek/papersPS/2003/klp-csp03.ps.gz

Dynamic Agency: a Methodology and Architecture for Multiagent.. - Amigoni (2000)   (Correct)
e Matteo, Maddalena, Plez quello del circondario: Alessio, Alida, Damiano (il primo lettore dei miei
ftp.elet.polimi.it/pub/Francesco.Amigoni/t2.pdf

First 20 documents  Next 20

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC