Showing 1 - 2 results of 2 for search 'Alexey Chentsov', query time: 0.03s Refine Results
  1. 1
    Many-Sorted First-Order Composition-Nominative Logic as Institution

    Many-Sorted First-Order Composition-Nominative Logic as Institution by Alexey Chentsov

    Published 2016-04-01
    Get full text
    Article
  2. 2
    Basics of Intensionalized Data: Presets, Sets, and Nominats

    Basics of Intensionalized Data: Presets, Sets, and Nominats by Mykola Nikitchenko, Alexey Chentsov

    Published 2012-10-01
    Get full text
    Article

Search Tools: