Sazonov, V.Yu.: Bounded set theory and inductive definability. Abstracts of Logic Colloquium'90. JSL 56 Nu.3 (1991) 1141--1142 @ NUS Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Databases as Diagram Algebras: Specifying Queries and Views Via.. - Diskin (1996) (Correct)
Linear Ordering on Graphs, Anti-Founded Sets and Polynomial.. - Lisitsa, Sazonov (1998) (Correct)
On Bounded Set Theory - Sazonov (1997) (4 citations) (Correct)
Δ-Languages for Sets and LOGSPACE Computable Graph.. - Lisitsa, Sazonov (1997) (1 citation) Self-citation (Sazonov) (Correct)
Bounded Hyperset Theory and Web-like Data Bases - Lisitsa, Sazonov (1997) (7 citations) Self-citation (Sazonov) (Correct)
On Linear Ordering of Strongly Extensional Finitely-Branching.. - By Alexei (1997) Self-citation (Sazonov) (Correct)
A Bounded Set Theory with Anti-Foundation Axiom and Inductive.. - Sazonov (1995) (1 citation) Self-citation (Yu) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.