| |
| 2006 | ||
|---|---|---|
| 2 | EE | Sergey Slavnov: Geometrical semantics for linear logic (multiplicative fragment). Theor. Comput. Sci. 357(1-3): 215-229 (2006) |
| 2005 | ||
| 1 | EE | Sergey Slavnov: Coherent phase spaces. Semiclassical semantics. Ann. Pure Appl. Logic 131(1-3): 177-225 (2005) |