Results 91 to 100 of about 481 (175)

A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics [PDF]

, 1998
H. Naruse, H. Ono, Bayu Surarso
openalex   +1 more source

Generalized Revenge. [PDF]

Australas J Philos, 2020
Murzi J, Rossi L.
europepmc   +1 more source

Substructural logic and partial correctness [PDF]

, 2003
Dexter Kozen, Jerzy Tiuryn
openalex   +1 more source

Biological Activity Predictions of Ligands Based on Hybrid Molecular Fingerprinting and Ensemble Learning. [PDF]

ACS Omega, 2023
Li M, Zeng M, Zhang H, Chen H, Guan L.
europepmc   +1 more source

A proposed approach to defining per- and polyfluoroalkyl substances (PFAS) based on molecular structure and formula. [PDF]

Integr Environ Assess Manag, 2023
Gaines LGT, Sinclair G, Williams AJ.
europepmc   +1 more source

Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics [PDF]

, 2014
Szabolcs Mikulás
openalex   +1 more source

Projectivity and unification in substructural logics of generalized rotations

, 2022
Paolo Aglianò, Sara Ugolini
openalex   +1 more source

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

, 2022
Frumin D.
europepmc   +1 more source

A Multiplexing Activity-Based Protein-Profiling Platform for Dissection of a Native Bacterial Xyloglucan-Degrading System. [PDF]

ACS Cent Sci, 2023
McGregor NGS, de Boer C, Foucart QPO, Beenakker T, Offen WA, Codée JDC, Willems LI, Overkleeft HS, Davies GJ.   +8 more
europepmc   +1 more source

Machine Learning-Enabled Parallel Prediction and Co-Design of Polyimides for Tailored Glass Transition, Dielectric, and Bandgap Properties. [PDF]

ACS Omega
Liang B, Huo W, Wu X, Zheng R.
europepmc   +1 more source