Results 1 to 10 of about 12,135 (97)
Characteristic Evolution and Matching. [PDF]
Living Rev Relativ, 2012 Winicour J.
europepmc +1 more source
Gravitational Radiation from Post-Newtonian Sources and Inspiralling Compact Binaries. [PDF]
Living Rev Relativ, 2014 Blanchet L.
europepmc +1 more source
Metal Ion Modeling Using Classical Mechanics. [PDF]
Chem Rev, 2017 Li P, Merz KM.
europepmc +1 more source
Characteristic Evolution and Matching. [PDF]
Living Rev Relativ, 2005 Winicour J.
europepmc +1 more source
Self-Ordered Titanium Dioxide Nanotube Arrays: Anodic Synthesis and Their Photo/Electro-Catalytic Applications. [PDF]
Materials (Basel), 2013 Smith YR +4 more
europepmc +1 more source
Dual-Context Calculi for Modal Logic [PDF]
, 2020 We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which
Kavvos, G. A.
core +4 more sources
Reverse mathematics and well-ordering principles [PDF]
, 2011 The paper is concerned with generally Pi^1_2 sentences of the form 'if X is well ordered then f(X) is well ordered', where f is a standard proof theoretic function from ordinals to ordinals.
Rathjen, Michael, Weiermann, Andreas
core +1 more source
Normalisation Control in Deep Inference via Atomic Flows [PDF]
, 2008 We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flows that correspond to complex reductions on derivations. This allows us to
Alessio Guglielmi +2 more
core +7 more sources