Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Erhard Siegl
Equivalence of Categorical Calculus Theories Based on Smoothness and Boundedness.
Related publications
On Many-Sorted Ω-Categorical Theories
Fundamenta Mathematicae
Number Theory
Algebra
Equivalence of Lattice Gauge and Spin Theories
Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy Physics
Nuclear
On Cardinalities of Algebras of Formulas for $Ω_0$-Categorical Theories
Colloquium Mathematicum
Mathematics
Smoothness Equivalence Properties of General Manifold-Valued Data Subdivision Schemes
Multiscale Modeling and Simulation
Astronomy
Simulation
Computer Science Applications
Modeling
Ecological Modeling
Chemistry
Physics
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
Journal of Symbolic Logic
Philosophy
Logic
Field Theories in the Modern Calculus of Variations
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
The Equivalence of Asymptotic Distributions Under Randomisation and Normal Theories
Proceedings of the Glasgow Mathematical Association
Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Asymptotic Equivalence of Homogenisation Procedures and Fine-Tuning of Continuum Theories
Journal of Sound and Vibration
Mechanics of Materials
Acoustics
Ultrasonics
Condensed Matter Physics
Mechanical Engineering