Vladimir Yu. Sazonov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1976–1997
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | LFCS | On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets. | Alexei Lisitsa, Vladimir Yu. Sazonov |
| 1995 | ICDT | Delta-Languages for Sets and sub-PTIME Graphs Transformers. | Vladimir Yu. Sazonov, Alexei Lisitsa |
| 1994 | CSL | A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability. | Vladimir Yu. Sazonov |
| 1987 | FCT | Bounded Set Theory and Polynominal Computability. | Vladimir Yu. Sazonov |
| 1981 | MFCS | On Existence of Complete Predicate Calculus in Metamathematics without Exponentiation. | Vladimir Yu. Sazonov |
| 1980 | MFCS | A Logical Approach to the Problem "P=NP?". | Vladimir Yu. Sazonov |
| 1976 | MFCS | Degrees of Parallelism in Computations. | Vladimir Yu. Sazonov |