@ARTICLE{DelzannoBLM1999,
AUTHOR = {Bugliesi, Michele and Delzanno, Giorgio and Liquori, Luigi and Martelli, Maurizio},
TITLE = {Object Calculi in Linear Logic},
JOURNAL = {Journal of Logic and Computation},
PUBLISHER = {Oxford University Press},
YEAR = {2000},
NUMBER = {1},
VOLUME = {10},
PAGES = {75--104},
ADDRESS = {Oxford, UK},
MONTH = {April},
ISBN = {0955-792X},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Giorgio Delzanno | Created
04/21/1999 12:04:31 PM |
Revisions
8.
7.
6.
5.
4. | Editor(s)
Christine Kiesel
Uwe Brahm
Christine Kiesel
Anja Becker
Anja Becker | Edit Dates
03.09.2001 16:56:00
05/01/2001 01:36:25 PM
14.03.2001 13:20:56
05.04.2000 12:00:43
31/03/2000 09:08:23 |