Sergey Slavnov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

3 Sergey Slavnov: Geometrical semantics for linear logic (multiplicative fragment). Theor. Comput. Sci. 357(1-3): 215-229 (2006)

2005

2 Sergey Slavnov: Coherent phase spaces. Semiclassical semantics. Ann. Pure Appl. Logic 131(1-3): 177-225 (2005)

1 Sergey Slavnov: From proof-nets to bordisms: the geometric meaning of multiplicative connectives. Mathematical Structures in Computer Science 15(6): 1151-1178 (2005)

	2006
3		Sergey Slavnov: Geometrical semantics for linear logic (multiplicative fragment). Theor. Comput. Sci. 357(1-3): 215-229 (2006)
	2005
2		Sergey Slavnov: Coherent phase spaces. Semiclassical semantics. Ann. Pure Appl. Logic 131(1-3): 177-225 (2005)
1		Sergey Slavnov: From proof-nets to bordisms: the geometric meaning of multiplicative connectives. Mathematical Structures in Computer Science 15(6): 1151-1178 (2005)