![]() | ![]() |
2008 | ||
---|---|---|
5 | EE | Vladimir Sazonov: On Natural Non-dcpo Domains. Pillars of Computer Science 2008: 620-634 |
2007 | ||
4 | Richard Molyneux, Vladimir Sazonov: Hyperset/Web-Like Databases and the Experimental Implementation of the Query Language Delta - Current State of Affairs. ICSOFT (ISDM/EHST/DC) 2007: 29-37 | |
3 | EE | Vladimir Sazonov: Inductive Definition and Domain Theoretic Properties of Fully Abstract CoRR abs/0707.3170: (2007) |
2 | EE | Vladimir Sazonov: Inductive Definition and Domain Theoretic Properties of Fully Abstract Models for PCF and PCF+. Logical Methods in Computer Science 3(3): (2007) |
2006 | ||
1 | EE | Vladimir Sazonov: Querying Hyperset/Web-Like Databases. Logic Journal of the IGPL 14(5): 785-814 (2006) |
1 | Richard Molyneux | [4] |