A Superposition-Based Calculus for Diagrammatic Reasoning (PPDP 2021) [Sept. 7, 2021]


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

Tags: diagrammatic reasoning graph rewriting superposition



Video file(s):

Audio file:


Social Networks

Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.
 Embed in a web page
 Share the link
Comments have been disabled for this video.