Anatol Slissenko

Q: What Schools Are Affiliated With Anatol Slissenko

Anatol Slissenko is affiliated with the following schools: Paris-Saclay University, Saint Petersburg State University

Anatol Slissenko's AcademicInfluence.com Rankings

Anatol Slissenko

Mathematics

#4645

World Rank

#6575

Historical Rank

Measure Theory

#5565

World Rank

#6604

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Anatol Slissenko Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Anatol Slissenko is a Soviet, Russian and French mathematician and computer scientist. Among his research interests one finds automatic theorem proving, recursive analysis, computational complexity, algorithmics, graph grammars, verification, computer algebra, entropy and probabilistic models related to computer science.

(See a Problem?)

Anatol Slissenko's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Studies in constructive mathematics and mathematical logic (1969) (59)
Studies in Constructive Mathematics and Mathematical Logic Part 2 (1970) (42)
Context-Free Grammars as a Tool for Describing Polynomial-Time Subclasses of Hard Problems (1982) (41)
Detection of periodicities and string-matching in real time (1983) (34)
An Algorithm for a Machine Search of a Natural Logical Deduction in a Propositional Calculus (1983) (18)
Complexity problems in computational theory (1981) (13)
Search for shortest path around semialgebraic obstacles in the plane (1994) (12)
String-Matching in Real Time: Some Properties of the Data Structure (1978) (10)
Computational Complexity of String and Graph Identification (1979) (5)
A simplified proof of the real-time recognizability of palindromes on turing machines (1981) (5)
Nikolai Aleksandrovich Shanin (on his seventieth birthday) (1990) (3)
Sergei Yur'evich Maslov (obituary) (1984) (3)
A property of enumerable sets containing “complexly deducible” formulas (1972) (3)
A Computer Algorithm for the Determination of Deducibility on the Basis of the Inverse Method (1983) (2)
What can we do with problems of exhaustive search? (1979) (2)
Finite approach to the problem of optimizing theorem-proving algorithms (1978) (2)
Culturally and Linguistically Tailored Faith-Based Approach to Community Health Education Among Russian Immigrants (2018) (1)
On the Complexity of Certain Decision Procedures for Proposi- Tional Calculus and Random Graphs. Announced As: an Improved Lower Bound for Regular Resolution and Similar Systems (2007) (0)
Fourteen Papers on Logic, Geometry, Topology and Algebra (1972) (0)
Nikolai Aleksandrovich Shanin (obituary) (2013) (0)
On Maximal Continuity Regulators for Constructive Functions (1969) (0)

This paper list is powered by the following services:

Other Resources About Anatol Slissenko

en.wikipedia.org

What Schools Are Affiliated With Anatol Slissenko?

Anatol Slissenko is affiliated with the following schools:

Anatol Slissenko's Academic­Influence.com Rankings