Static Analysis for Regular Expression Exponential Runtime via Substructural Logics (Extended) [PDF]
, 2014 Asiri Rathnayake, Hayo Thielecke
openalex +1 more source
Quantitative evaluation of explainable graph neural networks for molecular property prediction. [PDF]
Patterns (N Y), 2022 Rao J, Zheng S, Lu Y, Yang Y.
europepmc +1 more source
Bunched Hypersequent Calculi for Distributive Substructural Logics
, 2018 Agata Ciabattoni, Revantha Ramanayake
openalex +2 more sources
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions [PDF]
, 2013 Àngel García-Cerdaña, Ventura Verdú
openalex +1 more source
Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics [PDF]
, 2011 Robert Rothenberg
openalex +1 more source
ADMETlab 2.0: an integrated online platform for accurate and comprehensive predictions of ADMET properties. [PDF]
Nucleic Acids Res, 2021 Xiong G +12 more
europepmc +1 more source
Semilinear substructural logics with the finite embeddability property [PDF]
, 2016 San-Min Wang
openalex +1 more source
Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics [PDF]
, 2018 SanMin Wang
openalex +1 more source
SLICE (SMARTS and Logic In ChEmistry): fast generation of molecules using advanced chemical synthesis logic and modern coding style. [PDF]
J CheminformIlemo SN +6 more
europepmc +1 more source