Results 71 to 80 of about 111,956 (116)
Towards a category theory approach to analogy: Analyzing re-representation and acquisition of numerical knowledge. [PDF]
PLoS Comput Biol, 2017 Navarrete JA, Dartnell P.
europepmc +1 more source
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. [PDF]
Proc Natl Acad Sci U S A, 1963 Lawvere FW.
europepmc +1 more source
K(pin)-Torsors and the Interpretation of "Triple" Cohomology. [PDF]
Proc Natl Acad Sci U S A, 1974 Duskin J.
europepmc +1 more source
Regular expression order-sorted unification and matching.
J Symb Comput, 2015 Kutsia T, Marin M.
europepmc +1 more source