Travelled to:1 × Norway
Collaborated with:D.Cantone C.Longo
Talks about:quantifi (1) fragment (1) descript (1) theori (1) involv (1) applic (1) order (1) logic (1) decid (1) pair (1)
Person: Marianna Nicolosi Asmundo
DBLP: Asmundo:Marianna_Nicolosi
Contributed to:
2011Wrote 1 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.