A Superposition-Based Calculus for Diagrammatic Reasoning (PPDP 2021)

Sept. 7, 2021
Duration: 00:24:53
Number of views 2
Addition in a playlist 0
Number of favorites 0

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

Tags: diagrammatic reasoning graph rewriting superposition


Comments have been disabled for this video.