Results 151 to 160 of about 32,999 (258)

Imagining CLP (Lambda, alphabeta)

open access: yes, 1994
We study under which conditions the domain of lambda-terms (Lambda) and the equality theory of the lambda-calculus (alphabeta) form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom eta-gamma, and the formula language must depart from Horn clauses and accept universal ...
openaire   +1 more source

Ferrostatin-1 protects against early sepsis-induced acute lung injury by suppressing lipid peroxidation-driven NINJ1-mediated DAMP release and neutrophil activation. [PDF]

open access: yesRedox Biol
Xiao F   +18 more
europepmc   +1 more source

HDAC3 Mediates Hippocampal Microglial Pyroptosis Via the STING/NLRP3 Pathway and Contributes To Cognitive Impairment in Sepsis-Associated Encephalopathy. [PDF]

open access: yesInflammation
Cai M   +13 more
europepmc   +1 more source

Dealing with incomplete knowledge on CLP( FD ) variable domains [PDF]

open access: bronze, 2005
Marco Gavanelli   +3 more
openalex   +1 more source

Home - About - Disclaimer - Privacy