Equivalence of Categorical Calculus Theories Based on Smoothness and Boundedness.

doi 10.22215/etd/1994-02809
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Carleton University

Related search

On Many-Sorted Ω-Categorical Theories

Fundamenta Mathematicae
Number TheoryAlgebra
2011English

Equivalence of Lattice Gauge and Spin Theories

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy PhysicsNuclear
1983English

On Cardinalities of Algebras of Formulas for $Ω_0$-Categorical Theories

Colloquium Mathematicum
Mathematics
1973English

Smoothness Equivalence Properties of General Manifold-Valued Data Subdivision Schemes

Multiscale Modeling and Simulation
AstronomySimulationComputer Science ApplicationsModelingEcological ModelingChemistryPhysics
2009English

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Journal of Symbolic Logic
PhilosophyLogic
1987English

Field Theories in the Modern Calculus of Variations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1988English

The Equivalence of Asymptotic Distributions Under Randomisation and Normal Theories

Proceedings of the Glasgow Mathematical Association
1953English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Asymptotic Equivalence of Homogenisation Procedures and Fine-Tuning of Continuum Theories

Journal of Sound and Vibration
Mechanics of MaterialsAcousticsUltrasonicsCondensed Matter PhysicsMechanical Engineering
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy