Anton R. Gnatenko

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Transitive Closure

Data Complexity

Linear Temporal Logic

Top Venues

Autom. Control. Comput. Sci.

Description Logics

Publications