| 2010 | ||
|---|---|---|
| c6 | Jean-Vincent Loddo, Luca Saiu: How to Correctly Prune Tropical Trees. AISC/MKM/Calculemus 2010: 101-115 | |
| i1 | ||
| 2007 | ||
| c5 | Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo: Tree Components Programming: An Application to XML. ICTAC 2007: 139-153 | |
| c4 | ||
| 2000 | ||
| c3 | Jean-Vincent Loddo, Roberto Di Cosmo: Playing Logic Programs with the Alpha-Beta Algorithm. LPAR 2000: 207-224 | |
| 1998 | ||
| c2 | Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet: A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP 1998: 355-373 | |
| 1996 | ||
| c1 | Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. LOMAPS 1996: 296-319 | |
| 1 | Roberto Di Cosmo | |
| 2 | Pascal Coupey | |
| 3 | Pierpaolo Degano | |
| 4 | Christophe Fouqueré | |
| 5 | Stephane Nicolet | |
| 6 | Corrado Priami | |
| 7 | Luca Saiu |
Colors in the list of coauthors
Last update Sat May 25 06:01:51 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page