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

Sept. 7, 2021
Duration: 00:24:53
Number of views 2

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

Tags: diagrammatic reasoning graph rewriting superposition

 Infos

Comments have been disabled for this video.