Homotopy analysis method for homoclinic orbit of a buckled thin plate system.
- Published in:
- Acta Mechanica, 2014, v. 225, n. 2, p. 373, doi. 10.1007/s00707-013-0965-4
- By:
- Publication type:
- Article
Works matching DE "STRUCTURAL proof theory"
Results: 10
1
2
Anything Goes.
- Published in:
- Topoi: An International Review of Philosophy, 2015, v. 34, n. 1, p. 25, doi. 10.1007/s11245-014-9261-8
- By:
- Publication type:
- Article
3
Small, balanced, efficient, optimal, and near rotatable response surface designs for factorial experiments asymmetrical in some quantitative, qualitative factors.
- Published in:
- Quality Engineering, 2017, v. 29, n. 2, p. 196, doi. 10.1080/08982112.2016.1217338
- By:
- Publication type:
- Article
4
A proof-theoretic semantic analysis of dynamic epistemic logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 6, p. 1961, doi. 10.1093/logcom/exu063
- By:
- Publication type:
- Article
5
Uniqueness of vortexless Ginzburg-Landau type minimizers in two dimensions.
- Published in:
- Calculus of Variations & Partial Differential Equations, 2013, v. 46, n. 3/4, p. 523, doi. 10.1007/s00526-012-0492-5
- By:
- Publication type:
- Article
6
Regularity results for differential forms solving degenerate elliptic systems.
- Published in:
- Calculus of Variations & Partial Differential Equations, 2013, v. 46, n. 3/4, p. 769, doi. 10.1007/s00526-012-0503-6
- By:
- Publication type:
- Article
7
Glivenko sequent classes in the light of structural proof theory.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 461, doi. 10.1007/s00153-016-0474-y
- By:
- Publication type:
- Article
8
The Church–Fitch knowability paradox in the light of structural proof theory.
- Published in:
- Synthese, 2013, v. 190, n. 13, p. 2677, doi. 10.1007/s11229-012-0061-7
- By:
- Publication type:
- Article
9
Proof and Dialogue in Aristotle.
- Published in:
- Argumentation, 2016, v. 30, n. 3, p. 289, doi. 10.1007/s10503-015-9382-2
- By:
- Publication type:
- Article
10
An alternative approach for quasi-truth.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 387, doi. 10.1093/jigpal/jzt026
- By:
- Publication type:
- Article