Concepedia

Vladimir Sazonov

VS

Statistics

Publications

5

Citations

164

H-Index

5

Active since

1976

Affiliations

Program Systems Institute of RAS(Current)

Vladimir Sazonov is an author at Program Systems Institute of RAS specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceComputational ComplexityGraph TheoryDiscrete MathematicsSyntaxLanguageLinguisticsAutomated Reasoning

Publications per year

1976–1999

5

Publications

5

Polynomial Computability and Recursivity in Finite Domains.

Vladimir Sazonov · Journal of automata, languages and combinatorics · 1980 · 56 citations

Engineering, Formal Methods, Polynomial Computability +5

Expressibility of functions in D. Scott's LCF language

Vladimir Sazonov · Algebra and Logic · 1976 · 41 citations

Syntax, Lcf Language, Functional Programming Language +5

Hereditarily-finite sets, data bases and polynomial-time computability

Vladimir Sazonov · Theoretical Computer Science · 1993 · 28 citations

Computational Complexity Theory, Engineering, Automated Reasoning +6

Linear ordering on graphs, anti-founded sets and polynomial time computability

Alexei Lisitsa, Vladimir Sazonov · Theoretical Computer Science · 1999 · 25 citations

Computational Complexity Theory, Engineering, Graph Theory +9

Δ-languages for sets and LOGSPACE computable graph transformers

Alexei Lisitsa, Vladimir Sazonov · Theoretical Computer Science · 1997 · 14 citations

Engineering, Graph Theory, Formal Methods +4

1–5 of 5