Travelled to:1 × Germany
Collaborated with:M.J.Gabbay G.L.Ferrari
Talks about:name (2) restrict (1) spatial (1) quantit (1) algebra (1) trace (1) model (1) logic (1) fresh (1) set (1)
Person: Vincenzo Ciancia
DBLP: Ciancia:Vincenzo
Contributed to:
2011
2007Wrote 2 papers:
- FoSSaCS-2011-GabbayC #set #strict
- Freshness and Name-Restriction in Sets of Traces with Names (MJG, VC), pp. 365–380.
- QAPL-2007-CianciaF #algebra #logic #modelling
- Co-Algebraic Models for Quantitative Spatial Logics (VC, GLF), pp. 43–58.