Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exn070
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

On a Differential-Algebraic Problem

Applications of Mathematics
Applied Mathematics
2000English

Algebraic Groups and Differential Galois Theory

Graduate Studies in Mathematics
2011English

Urn Models and Differential Algebraic Equations

Journal of Applied Probability
MathematicsStatisticsUncertaintyProbability
2003English

Algebraic Characterizations in Complex Differential Geometry

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1935English

Differential/Algebraic Equations Are Not ODE’s

SIAM Journal on Scientific and Statistical Computing
1982English

Irreducible Systems of Algebraic Differential Equations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1939English

Generalized Inverses of Differential-Algebraic Operators

SIAM Journal on Matrix Analysis and Applications
Analysis
1996English

A Normal Form for Pure Differential Algebraic Systems

Linear Algebra and Its Applications
Numerical AnalysisAlgebraCombinatoricsNumber TheoryGeometryDiscrete MathematicsTopology
2009English

Control and Optimization With Differential-Algebraic Constraints

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy