A constructive modal semantics for contextual verification
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 14 September 2009 |
| Place | Potsdam, Germany |
| Occasion | First International Workshop on "Logic-based Interpretation of Context: Modelling and Applications (Log-IC 2009)" - LPNMR09 |
| Category | Contributed |
| Slides |
 slides_LOG-IC09.pdf |