Proof-Theoretic Methods in Nonlinear Analysis

doi 10.1142/9789813272880_0045
Full Text
Abstract

Available in full text

Date
Authors
Publisher

WORLD SCIENTIFIC

Related search

Introduction: Proof-Theoretic Semantics

Synthese
PhilosophySocial Sciences
2006English

Advances in Proof-Theoretic Semantics: Introduction

Trends in Logic
2015English

Invariant-Theoretic Methods in Scene Analysis and Structural Mechanics

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1991English

A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1998English

A New System of Proof-Theoretic Ordinal Functions

Annals of Pure and Applied Logic
Logic
1986English

Automatic Learning of Proof Methods in Proof Planning

Logic Journal of the IGPL
Philosophy
2003English

A Proof-Theoretic Trust and Reputation Model for VANET

2017English

Number Theoretic Methods in Parameter Estimation

1998English

A $K$-Theoretic Proof of the Morse Index Theorem in Semi-Riemannian Geometry

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy