Results 211 to 220 of about 108,430 (261)
A geometric function theoretic approach to MRI distortion correction using Miller Ross Poisson series. [PDF]
Manoj S, Keerthi BS.
europepmc +1 more source
Infinitesimal homeostasis in mass-action systems. [PDF]
Jin J, Rempala GA.
europepmc +1 more source
Kernel embeddings and the separation of measure phenomenon. [PDF]
Santoro LV, Waghmare KG, Panaretos VM.
europepmc +1 more source
A note on integrated local energy decay estimates for spherically symmetric black hole spacetimes. [PDF]
Holzegel G, Mavrogiannis G, Ruiz RV.
europepmc +1 more source
Master field equations for spherically symmetric gravitational fields beyond general relativity. [PDF]
Carballo-Rubio R.
europepmc +1 more source
Coding for channels with intermittent feedback and its security analysis. [PDF]
Yang J, Huang Q, Lin Y.
europepmc +1 more source
Forcing and consistency proof in General topology(General Topology and Set Theory)
openaire
Values on generalized reachability games (Proof theory and complexity)
openaire
Some of the next articles are maybe not open access.
Related searches:
Related searches:
On the Proof-theoretic Foundation of General Definition Theory
SynthÈse, 2006A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind ...
Lars Hallnäs
exaly +2 more sources

