dblp.uni-trier.dewww.uni-trier.de

Sergey Slavnov Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)