Proof Theorie: Some applications of cut-elimination [PDF]
, 1977 Barwise, J., Schwichtenberg, Helmut
core +1 more source
Context Semantics, Linear Logic and Computational Complexity
, 2006 We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an
Lago, Ugo Dal
core +3 more sources
Thomas Kuhn and Science Education: Learning from the Past and the Importance of History and Philosophy of Science. [PDF]
Sci Educ (Dordr), 2022 Matthews MR.
europepmc +1 more source
Statistical Mechanics and Thermodynamics: Boltzmann's versus Planck's State Definitions and Counting †. [PDF]
Entropy (Basel), 2021 Enders P.
europepmc +1 more source
Surgery formulae for the Seiberg-Witten invariant of plumbed 3-manifolds. [PDF]
Rev Mat Complut, 2020 László T, Nagy J, Némethi A.
europepmc +1 more source
Extraction of Expansion Trees. [PDF]
J Autom Reason, 2019 Leitsch A, Lolic A.
europepmc +1 more source
Dynamic inferential NO x emission prediction model with delay estimation for SCR de-NO x process in coal-fired power plants. [PDF]
R Soc Open Sci, 2020 Yan L, Dong Z, Jia H, Huang J, Meng L.
europepmc +1 more source
Dialogue on analytical and ab initio methods in attoscience. [PDF]
Eur Phys J D At Mol Opt Phys, 2021 Armstrong GSJ +5 more
europepmc +1 more source
A note on polynomial time computable arithmetic [PDF]
, 1990 Buchholz, Wilfried, Sieg, W.
core +1 more source
Interpol review of digital evidence for 2019-2022. [PDF]
Forensic Sci Int Synerg, 2023 Reedy P.
europepmc +1 more source