Results 251 to 260 of about 102,741 (269)

Predicate provability logic with non-modalized quantifiers

Studia Logica: An International Journal for Symbolic Logic, 1991
G. Dzhaparidze
semanticscholar   +1 more source

Structures of Metal–Organic Frameworks with Rod Secondary Building Units

Chemical Reviews, 2016
Alexander Schoedel, Mian Li, Dan Li
exaly  

On the Logic of the Standard Proof Predicate

, 2000
R. Yavorsky
semanticscholar   +1 more source

An extension to predicate logic of $\lambda\rho$-calculus (Logics, Algebras and Languages in Computer Science)

, 2014
郁加 山川, 雄一 古森
openalex  

Nicotinamide and PNC1 govern lifespan extension by calorie restriction in Saccharomyces cerevisiae

Nature, 2003
David A Sinclair
exaly  

A positional Toll receptor code directs convergent extension in Drosophila

Nature, 2014
Zachary Mirman, Jennifer A Zallen
exaly  

Extension of set-based inference mechanism for predicate logic design constraints with an application to automotive power window design

, 2000
Amit Vishwanath Seshan
openalex  

Luminescent metal–organic frameworks

Chemical Society Reviews, 2009
Mark D Allendorf
exaly  

Electromagnetically induced transparency: Optics in coherent media

Reviews of Modern Physics, 2005
Ataç Imamoğlu, Michael Fleischhauer
exaly  

Depth-dependent extension, two-stage breakup and cratonic underplating at rifted margins

Nature, 2011
Ritske S Huismans
exaly