Amanote Research

Amanote Research

    RegisterSign In

Linear Logical Approximations

doi 10.1145/1480945.1480949
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2008

Authors
Robert J. SimmonsFrank Pfenning
Publisher

ACM Press


Related search

Linear Logical Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Variational Approximations for Generalized Linear Latent Variable Models

Journal of Computational and Graphical Statistics
CombinatoricsUncertaintyStatisticsProbabilityDiscrete Mathematics
2017English

Linear Approximations and Tests of Conditional Pricing Models

2006English

Goal-Oriented Optimal Approximations of Bayesian Linear Inverse Problems

SIAM Journal of Scientific Computing
Computational MathematicsApplied Mathematics
2017English

Rational Approximations to Linear Forms of Exponentials and Binomials

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1983English

Moment-Preserving Piecewise Linear Approximations of Signals and Images.

English

Some Optimal Error Estimates for Piecewise Linear Finite Element Approximations

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1982English

Orientation of Single Crystals Using Linear Approximations to NMR Transits

Journal of Magnetic Resonance
BiochemistryNuclearHigh Energy PhysicsCondensed Matter PhysicsBiophysics
2005English

Linear Two-Dimensional Models of Anisotropic Plates in the High Approximations

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy