Alexey Chentsov

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Academic Institutions

Conditional Logic

Web Service Composition

Top Venues

Comput. Sci. J. Moldova

Logica Universalis

Publications

Alexey Chentsov, Mykola S. Nikitchenko
Composition-Nominative Logics as Institutions. Logica Universalis 12 (1-2) (2018)
Alexey Chentsov
Many-Sorted First-Order Composition-Nominative Logic as Institution. Comput. Sci. J. Moldova 24 (1) (2016)
Mykola S. Nikitchenko, Alexey Chentsov
Basics of Intensionalized Data: Presets, Sets, and Nominats. Comput. Sci. J. Moldova 20 (3) (2012)