Pure Mathematics

A General Tableau Method for Propositional Interval Temporal Logics

Cognitive Science / Modal Logic / Pure Mathematics / Applied Logic / First Order Logic / Tableaux / Temporal Logic / Partial Order / Tableaux / Temporal Logic / Partial Order

Tubular Splines Using A Higher Dimensional Representation Splines Tubulares Usando Una Representacion Multidimensional

Pure Mathematics

Convex Decomposition of Polyhedra and Robustness

Pure Mathematics

Existence and uniqueness of pseudo almost periodic solutions to some abstract partial neutral functional–differential equations and applications

Applied Mathematics / Partial Differential Equations / Pure Mathematics / Control system / Chaos Theory Evolution Equation / Nonlinear Analysis / Mathematical Analysis / Cauchy Problem / First-Order Logic / Periodicity / PARTIAL DIFFERENTIAL EQUATION / Stability of Functional Equation / Second Order / Time Factors / Differential equation / Integro Differential Equation / Electrical And Electronic Engineering / Heat Equation / Nonlinear Analysis / Mathematical Analysis / Cauchy Problem / First-Order Logic / Periodicity / PARTIAL DIFFERENTIAL EQUATION / Stability of Functional Equation / Second Order / Time Factors / Differential equation / Integro Differential Equation / Electrical And Electronic Engineering / Heat Equation

Clausal temporal resolution

Temporal Resolution / Theorem Proving / Pure Mathematics / Linear Temporal Logic / Boolean Satisfiability / Temporal Logic / Normal Form / Temporal Logic / Normal Form

Exponential Sums and Goppa Codes: I

Pure Mathematics

Exponential sums and Goppa codes. I

Pure Mathematics

Decay estimates for nonlocal problems via energy methods

Applied Mathematics / Pure Mathematics

On Set-Valued Complementarity Problems

Pure Mathematics

Generality’s price: Inescapable deficiencies in machine-learned programs

Computability Theory / Machine Learning / Computational Complexity / Information Extraction / Pure Mathematics / Computational Learning Theory / Peano arithmetic / Computational Learning Theory / Peano arithmetic

Generality’s price: Inescapable deficiencies in machine-learned programs

Computability Theory / Machine Learning / Computational Complexity / Information Extraction / Pure Mathematics / Computational Learning Theory / Peano arithmetic / Computational Learning Theory / Peano arithmetic

Unilateral contact problems for two perpendicular elastic structures

Applied Mathematics / Pure Mathematics / Contact Zone / Boundary Condition / Unilateral contact

On partial randomness

Pure Mathematics / Hausdorff Dimension

Recognizing Knödel graphs

Applied Mathematics / Pure Mathematics / Discrete Mathematics

Degenerate problems with irregular obstacles

Pure Mathematics

Trace Properties and Pullbacks

Pure Mathematics

Copyright © 2017 DATOSPDF Inc.