Soloviev, Sergei, 19..-...., enseignant-chercheur en informatique
VIAF ID: 206005094 ( Personal )
Permalink: http://viaf.org/viaf/206005094
Preferred Forms
Works
Title | Sources |
---|---|
aInductive Types, Isomorphisms and Extensional Rewriting. | |
Algorithms and techniques for bot detection in social networks. | |
Une approche catégorique unifiée pour la réécriture de graphes attribués | |
Méthodes de vérification de la commutativité des diagrammes dans les catégories symétriques monoïdales fermées libres et non-libres | |
Methods for testing the communitativity of diagrams in the free and non-free symetric monoidal closed categories. | |
Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants | |
Sur le pouvoir expressif des structures applicatives et monadiques indexées | |
A unified categorical approach for attributed graph rewriting. |