POD - A Superposition-Based Calculus For Diagramma…

Prendre des notes

Il n’y a pas de note disponible pour vous pour cette vidéo.

Connectez-vous pour en créer une nouvelle.

Disciplines

Types

Mots clés

perform 304 fle 290 sciences 290 techniques 290 filipé 284 fos 282 lig 182 cpp 178 mathematiques 165 soutenance 151 gricad 146 prepa inp 145 prepa des inp 139 thèse 135 innovation 114 sante 106 pedagogie 97 2a 87 dgd bapso 86 recherche 85

Paper presented at PPDP 2021. Joint work with R. Echahed, M. Echenim, M. Mhalla.

Mots clés : diagrammatic reasoning graph rewriting superposition

Ajouté par : Nicolas Peltier
Mis à jour le : 7 septembre 2021 18:07
Type : Conférences
Langue principale : Anglais
Discipline(s) :
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Les commentaires ont été désactivés pour cette vidéo.