Alexey Chentsov

According to our database¹, Alexey Chentsov authored at least 3 papers between 2012 and 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

Composition-Nominative Logics as Institutions.

[BibT_eX]

[DOI]

Logica Universalis, 2018

2016

Many-Sorted First-Order Composition-Nominative Logic as Institution.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2016

2012

Basics of Intensionalized Data: Presets, Sets, and Nominats.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2012