SLICE (SMARTS and Logic In ChEmistry): fast generation of molecules using advanced chemical synthesis logic and modern coding style. [PDF]
Ilemo SN +6 more
europepmc +1 more source
A decision procedure for satisfiability in separation logic with inductive predicates [PDF]
J G. Brotherston +3 more
openalex +1 more source
Predicate abstraction for hyperliveness verification. [PDF]
Beutner R, Finkbeiner B.
europepmc +1 more source
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]
Ai L +3 more
europepmc +1 more source
Logics and admissible rules of constructive set theories. [PDF]
Iemhoff R, Passmann R.
europepmc +1 more source
Model theory for modal logic?Part III existence and predication
Kit Fine
openalex +2 more sources
Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]
von Plato J.
europepmc +1 more source
Varieties of pure first-order logics of partial quasiary predicates
S.S. Shkilniak
openalex +2 more sources
The use of educational psychology-based STEAM education concept in the development of English curriculum resources. [PDF]
Li Y.
europepmc +1 more source

