POD - A Superposition-Based Calculus For Diagramma…

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

Tags: diagrammatic reasoning graph rewriting superposition

Added by: Nicolas Peltier
Updated on: Sept. 7, 2021, 6:07 p.m.
Type: Conferences
Main language: English
Discipline(s):
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Comments have been disabled for this video.