Results 91 to 100 of about 266 (139)
Quantum-like behavior without quantum physics III : Logic and memory. [PDF]
J Biol Phys, 2019 Selesnick S, Piccinini G.
europepmc +1 more source
Characterizations of MV-algebras based on the theory of falling shadows. [PDF]
ScientificWorldJournal, 2014 Yang Y, Xin X, He P.
europepmc +1 more source
The isomorphism relation between tree-automatic Structures
Open Mathematics, 2010 Finkel Olivier, Todorčević Stevo
doaj +1 more source
Quantum-like behavior without quantum physics II. A quantum-like model of neural network dynamics. [PDF]
J Biol Phys, 2018 Selesnick SA, Piccinini G.
europepmc +1 more source
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]
J Autom Reason, 2018 Bancerek G +6 more
europepmc +1 more source
On <i>t</i>-derivations of PMS-algebras. [PDF]
F1000ResMelese Kassahun N +3 more
europepmc +1 more source
Towards Measurable Types for Dynamical Process Modeling Languages. [PDF]
Electron Notes Theor Comput Sci, 2010 Mjolsness E.
europepmc +1 more source
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. [PDF]
Proc Natl Acad Sci U S A, 1963 Lawvere FW.
europepmc +1 more source
ON THEORIES CATEGORICAL IN UNCOUNTABLE POWERS. [PDF]
Proc Natl Acad Sci U S A, 1963 Morley M.
europepmc +1 more source