Sergey M. Dudakov

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 3

Top Topics

Regular Languages

Equivalence Queries

Traffic Accidents

Top Venues

Autom. Control. Comput. Sci.

Theory Comput. Syst.

Publications

Sergey M. Dudakov, Boris Karlov
On Decidability of Theories of Regular Languages. Theory Comput. Syst. 65 (3) (2021)
Sergey M. Dudakov
On Safety of Unary and Nonunary IFP Operators. Autom. Control. Comput. Sci. 53 (7) (2019)
Sergey M. Dudakov, Boris Karlov
On Decidability of Regular Languages Theories. CSR (2019)
Sergey M. Dudakov
Isolation and Reducibility Properties and the Collapse Result. CSR (2006)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Maximal state independent approximations to minimal real change. Ann. Math. Artif. Intell. 33 (2-4) (2001)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Maximal Expansions of Database Updates. FoIKS (2000)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov
On Complexity of Updates through Integrity Constraints. Computational Logic (2000)
Sergey M. Dudakov
On the Complexity of Perfect Models of Logic Programs. Fundam. Informaticae 39 (3) (1999)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Monotone Expansion of Updates in Logical Databases. LPNMR (1999)
Sergey M. Dudakov
The Concurrency Complexity for the Horn Fragment of Linear Logic. LFCS (1997)