Travelled to:1 × Korea
1 × Norway
Collaborated with:P.Giarrusso D.Cantone M.N.Asmundo
Talks about:quantifi (1) protocol (1) fragment (1) descript (1) preserv (1) conduct (1) theori (1) involv (1) applic (1) order (1)
Person: Cristiano Longo
DBLP: Longo:Cristiano
Contributed to:
2011
2007Wrote 2 papers:
- CSL-2011-CantoneLA #decidability #logic #order #quantifier #set
- A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics (DC, CL, MNA), pp. 129–143.
- SAC-2007-LongoG #protocol
- A protocol to preserve a code of conduct (CL, PG), pp. 1579–1585.