Results 71 to 80 of about 862,810 (224)

SLICE (SMARTS and Logic In ChEmistry): fast generation of molecules using advanced chemical synthesis logic and modern coding style. [PDF]

J Cheminform
Ilemo SN, Delannée V, Grushin O, Judson P, Patel H, Nicklaus MC, Tarasova NI.   +6 more
europepmc   +1 more source

A decision procedure for satisfiability in separation logic with inductive predicates [PDF]

, 2014
J G. Brotherston, Carsten Fuhs, Juan Antonio Pérez-Ortiz, Nikos Gorogiannis   +3 more
openalex   +1 more source

Predicate abstraction for hyperliveness verification. [PDF]

Form Methods Syst Des
Beutner R, Finkbeiner B.
europepmc   +1 more source

Predicate Logic with Definitions [PDF]

, 1999
V. P. Makarov
openalex   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

Model theory for modal logic?Part III existence and predication

, 1981
Kit Fine
openalex   +2 more sources

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
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]

Sci Rep
Li Y.
europepmc   +1 more source