References of "Scott, Dana S."
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAxiom Systems for Category Theory in Free Logic
Benzmüller, Christoph UL; Scott, Dana S.

in Archive of Formal Proofs (2018)

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailSome Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Benzmüller, Christoph UL; Scott, Dana S.

in 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (2018)

Detailed reference viewed: 37 (0 UL)