Open AccessA Superposition-Based Calculus for Diagrammatic Reasoning
Author(s) -
Rachid Echahed,
Mnacho Echenim,
Mehdi Mhalla,
Nicolas Peltier
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3479394.3479405
Subject(s) - soundness , diagrammatic reasoning , completeness (order theory) , class (philosophy) , computer science , superposition principle , calculus (dental) , set (abstract data type) , theoretical computer science , encode , mathematics , algebra over a field , artificial intelligence , programming language , pure mathematics , medicine , mathematical analysis , biochemistry , chemistry , dentistry , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom