Search Results

There are 8894 results for: content related to: Extended Curry-Howard terms for second-order logic

  1. You have full text access to this OnlineOpen article
    The two-variable fragment with counting and equivalence

    Mathematical Logic Quarterly

    Volume 61, Issue 6, November 2015, Pages: 474–515, Ian Pratt-Hartmann

    Version of Record online : 25 NOV 2015, DOI: 10.1002/malq.201400102

  2. Certification of projection-based reduced order modelling in computational homogenisation by the constitutive relation error

    International Journal for Numerical Methods in Engineering

    Volume 97, Issue 6, 10 February 2014, Pages: 395–422, P. Kerfriden, J. J. Ródenas and S. P.-A. Bordas

    Version of Record online : 11 OCT 2013, DOI: 10.1002/nme.4588

  3. Representations of integers by systems of three quadratic forms

    Proceedings of the London Mathematical Society

    Volume 113, Issue 3, September 2016, Pages: 289–344, Lillian B. Pierce, Damaris Schindler and Melanie Matchett Wood

    Version of Record online : 5 AUG 2016, DOI: 10.1112/plms/pdw027

  4. A kinetic energy preserving nodal discontinuous Galerkin spectral element method

    International Journal for Numerical Methods in Fluids

    Volume 76, Issue 1, 10 September 2014, Pages: 28–50, Gregor J. Gassner

    Version of Record online : 10 JUN 2014, DOI: 10.1002/fld.3923

  5. Special functions and systems in Hermitian Clifford analysis

    Mathematical Methods in the Applied Sciences

    Volume 36, Issue 11, 30 July 2013, Pages: 1471–1484, Nele De Schepper, Dixan Peña Peña and Frank Sommen

    Version of Record online : 15 OCT 2012, DOI: 10.1002/mma.2702

  6. Continuous approximation techniques for co-simulation methods: Analysis of numerical stability and local error

    ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

    Volume 96, Issue 9, September 2016, Pages: 1061–1081, Martin Busch

    Version of Record online : 21 JAN 2016, DOI: 10.1002/zamm.201500196

  7. Goal-oriented adaptive refinement for phase field modeling with finite elements

    International Journal for Numerical Methods in Engineering

    Volume 94, Issue 4, 27 April 2013, Pages: 418–440, R. Mahnken

    Version of Record online : 14 MAR 2013, DOI: 10.1002/nme.4464

  8. Local/global model order reduction strategy for the simulation of quasi-brittle fracture

    International Journal for Numerical Methods in Engineering

    Volume 89, Issue 2, 13 January 2012, Pages: 154–179, P. Kerfriden, J. C. Passieux and S. P. A. Bordas

    Version of Record online : 15 JUL 2011, DOI: 10.1002/nme.3234

  9. Contracting with Private Knowledge of Production Capacity

    Journal of Economics & Management Strategy

    Volume 24, Issue 4, Winter 2015, Pages: 752–785, Leon Yang Chu and David E. M. Sappington

    Version of Record online : 26 OCT 2015, DOI: 10.1111/jems.12112

  10. Classical provability of uniform versions and intuitionistic provability

    Mathematical Logic Quarterly

    Volume 61, Issue 3, May 2015, Pages: 132–150, Makoto Fujiwara and Ulrich Kohlenbach

    Version of Record online : 15 MAY 2015, DOI: 10.1002/malq.201300056

  11. A polarization-based FFT iterative scheme for computing the effective properties of elastic composites with arbitrary contrast

    International Journal for Numerical Methods in Engineering

    Volume 89, Issue 11, 16 March 2012, Pages: 1419–1436, V. Monchiet and G. Bonnet

    Version of Record online : 4 NOV 2011, DOI: 10.1002/nme.3295

  12. You have free access to this content
    Exact Poincaré constants in two-dimensional annuli

    ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

    Volume 97, Issue 1, January 2017, Pages: 110–122, Bernd Rummler, Michael Růžička and Gudrun Thäter

    Version of Record online : 12 SEP 2016, DOI: 10.1002/zamm.201500299

  13. On a multiscale strategy and its optimization for the simulation of combined delamination and buckling

    International Journal for Numerical Methods in Engineering

    Volume 91, Issue 7, 17 August 2012, Pages: 772–798, K. Saavedra, O. Allix and P. Gosselet

    Version of Record online : 7 JUN 2012, DOI: 10.1002/nme.4305

  14. Harmonic and monogenic potentials in low dimensional Euclidean half-space

    Mathematical Methods in the Applied Sciences

    Volume 37, Issue 14, 30 September 2014, Pages: 2065–2079, F. Brackx, H. De Bie and H. De Schepper

    Version of Record online : 12 AUG 2013, DOI: 10.1002/mma.2956

  15. The Biot model for anisotropic poro-elastic media

    ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

    Robert P. Gilbert, George C. Hsiao and Michael Shoushani

    Version of Record online : 4 OCT 2016, DOI: 10.1002/zamm.201600039

  16. Reducing Inefficiency in Public Good Provision Through Linking

    Journal of Public Economic Theory

    Volume 16, Issue 3, June 2014, Pages: 427–466, STEFANO GALAVOTTI

    Version of Record online : 1 APR 2014, DOI: 10.1111/jpet.12065

  17. Comparison theorems for self-adjoint linear Hamiltonian eigenvalue problems

    Mathematische Nachrichten

    Volume 287, Issue 5-6, April 2014, Pages: 704–716, Roman Šimon Hilscher

    Version of Record online : 29 JUL 2013, DOI: 10.1002/mana.201200314

  18. Nonintrusive coupling of 3D and 2D laminated composite models based on finite element 3D recovery

    International Journal for Numerical Methods in Engineering

    Volume 98, Issue 5, 4 May 2014, Pages: 324–343, Guillaume Guguin, Olivier Allix, Pierre Gosselet and Stéphane Guinard

    Version of Record online : 28 JAN 2014, DOI: 10.1002/nme.4630

  19. The power and Arnoldi methods in an algebra of circulants

    Numerical Linear Algebra with Applications

    Volume 20, Issue 5, October 2013, Pages: 809–831, David F. Gleich, Chen Greif and James M. Varah

    Version of Record online : 17 JUL 2012, DOI: 10.1002/nla.1845

  20. Skin in the Game and Moral Hazard

    The Journal of Finance

    Volume 69, Issue 4, August 2014, Pages: 1597–1641, GILLES CHEMLA and CHRISTOPHER A. HENNESSY

    Version of Record online : 18 JUL 2014, DOI: 10.1111/jofi.12161