Sazonov, Vladimir - Department of Computer Science, University of Liverpool

• PAPER CODE NO. EXAMINER : Dr Vladimir Sazonov COMP311 DEPARTMENT : Computer Science Tel. No. 46792
• A Bounded Set Theory with AntiFoundation Axiom and Inductive Definability ?
• Hyperset Approach to Semi-structured Computation of Bisimulation in the Distributed Case
• Semistructured V.Sazonov@csc.liv.ac.uk
• Hyperset/WebLike V.Sazonov@csc.liv.ac.uk
• UPMAIL Technical Report (draft) November 11, 1998
• Semistructured Corresponding
• On Feasible Numbers ? Vladimir Yu. Sazonov
• Presentation transformations
• Project title Implementation of a plan performance \decoration"
• A LOGICAL APPROACH TO THE PROBLEM tfP-HP?" IKTROBUCTIOH. A possible approach to t h e problem "PdI]??" or t o
• Using Agents for Concurrent Querying of Web-like Databases
• Bounded Hyperset Theory and Web-like Data Bases
• Semi-structured or Web-like Databases Dr Vladimir Sazonov
• On Natural Non-dcpo Domains Vladimir Sazonov
• Project title Implementation of a Hypersetset
• Project title Implementation of reducibility process
• Project title Interface for Writing PSTRICKS Commands for Drawing Pictures in LATEX
• Project title Demonstration tool for teaching and learning of a graph generation procedure
• Project title Computer based support for PhD (pre-)submissions
• Project title Computer based support for PhD (pre-)submissions
• CODE NO: COMP311 TITLE ADVANCED TOPICS IN DATABASES YEAR: 3 SEMESTER: 1
• COMP311 -Vladimir Sazonov Week 3 starts
• COMP311 -Vladimir Sazonov Week 3 starts
• COMP311 -Vladimir Sazonov Questions for HOMEWORK 4
• Project title Implementation of an informational equivalence and typing for unstructured
• Formalize?) V.Sazonov@csc.liv.ac.uk
• Natural non-dcpo Domains and f-Spaces Vladimir Sazonov
• HYPERSET/WEB-LIKE DATABASES AND THE EXPERIMENTAL IMPLEMENTATION OF THE QUERY LANGUAGE DELTA
• Distributed querying of Web by using dynamically created
• bibquery0.xsl (''Bibliography'')
• VLAD I M I R YU . SAZONOV ON BOUNDED SET THEORY \Lambda
• Project title Implementation of an informational equivalence and typing for unstructured
• Project title Interface for Writing Logical Proofs in LATEX
• COMP311 -Vladimir Sazonov Week 7 starts
• Querying Hyperset/WebLike VLADIMIR SAZONOV, Department of Computer Science, University
• Project title Implementation of a Hypersetset language
• Semi-structured or Web-like Databases Dr Vladimir Sazonov
• Annals of Mathematics and Arti cial Intelligence 0 (2001) ?{? 1 : Set-Theoretic Query Language
• Semistructured Corresponding
• representation correspond
• \DeltaLanguages for Sets and LOGSPACE Computable Graph Transformers
• A Construction of Typed Lambda Models Related to Feasible
• COMP311 -Vladimir Sazonov Week 6 starts
• Project title Demonstration tool for teaching and learning of bisimulation algorithm for
• Project title Interface for Web-like Databases
• An Inductive Definition of Full Abstract Model (preliminary version) \Lambda
• Project title Animated version of the -calculus