own; Automated Reasoning; Free Logic; Higher Order Logic Category Theory
Disciplines :
Sciences informatiques
Auteur, co-auteur :
BENZMÜLLER, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Scott, Dana S.; Berkeley University of California - UC Berkeley
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Date de publication/diffusion :
2018
Nom de la manifestation :
AITP 2018
Lieu de la manifestation :
Aussois, France
Date de la manifestation :
from 25–03-2018 to 30-03-2018
Titre de l'ouvrage principal :
3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts
