Results 71 to 80 of about 137 (130)

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Where Mathematical Symbols Come From. [PDF]

Top Cogn Sci
Schlimm D.
europepmc   +1 more source

On Sahlqvist Formulas in Relevant Logic. [PDF]

J Philos Logic, 2018
Badia G.
europepmc   +1 more source

Enhancing property and activity prediction and interpretation using multiple molecular graph representations with MMGX. [PDF]

Commun Chem
Kengkanna A, Ohue M.
europepmc   +1 more source

Semantic Foundations of Reductive Reasoning. [PDF]

Topoi (Dordr)
Gheorghiu AV, Pym DJ.
europepmc   +1 more source

Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction. [PDF]

PLoS One, 2010
Boniolo G, D'Agostino M, Di Fiore PP.
europepmc   +1 more source

Structure-based classification and ontology in chemistry. [PDF]

J Cheminform, 2012
Hastings J, Magka D, Batchelor C, Duan L, Stevens R, Ennis M, Steinbeck C.   +6 more
europepmc   +1 more source

CELDA -- an ontology for the comprehensive representation of cells in complex systems. [PDF]

BMC Bioinformatics, 2013
Seltmann S, Stachelscheid H, Damaschun A, Jansen L, Lekschas F, Fontaine JF, Nguyen-Dobinsky TN, Leser U, Kurtz A.   +8 more
europepmc   +1 more source