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

 Summary

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

Tags: diagrammatic reasoning graph rewriting superposition

 Infos

 Downloads

Video file(s):

Audio file:

 Embed/Share

Social Networks

 Options
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
qrcode
Comments have been disabled for this video.