Results 251 to 260 of about 6,504,376 (296)
Some of the next articles are maybe not open access.

Theory of Relativity of Theories

This article develops a unifying framework for relating formal theories across logic and computation by combining categorical semantics with order-theoretic structure. We organize proof systems and models through polarity (Galois connections/adjunctions) and residuation, and study the role of lax/oplax morphisms in transporting theorems between ...
openaire   +1 more source

Horizontal gene transfer and adaptive evolution in bacteria

Nature Reviews Microbiology, 2021
Brian J Arnold, William P Hanage
exaly  

Relatively Complete Theories

Mathematical Logic Quarterly, 1976
openaire   +2 more sources

Test of general relativity by a pair of transportable optical lattice clocks

Nature Photonics, 2020
M. Takamoto   +6 more
semanticscholar   +1 more source

Poly(ADP-Ribose) polymerase (PARP) inhibitors: Exploiting a synthetic lethal strategy in the clinic

Ca-A Cancer Journal for Clinicians, 2011
Timothy A Yap, Johann Sebastian de Bono
exaly  

Home - About - Disclaimer - Privacy