A First Order Theory of Diagram Chasing.

Assia Mahboubi Matthieu Piquerez

Published in: CoRR (2023)

Keyphrases

computational model
higher order
theoretical framework
e learning
first order logic
theoretical basis
general theory
social networks
similarity measure
theory revision
classical first order logic