Compositional Optimization of Disjunctive Abstract Interpretations

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-61055-3_34
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Logical Abstract Domains and Interpretations

2010English

Bilevel Disjunctive Optimization on Affine Manifolds

2018English

Compositional Dataflow via Abstract Transition Systems

2013English

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

The Disjunctive Conception of Perceiving

Philosophical Explorations
Philosophy
2011English

Time-Optimal Control of Large-Scale Systems of Systems Using Compositional Optimization

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
2019English

The Disjunctive Datalog System DLV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Disjunctive Signed Logic Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Disjunctive Optimization Model for the Production Planning and Blending of Crude Oil in a Conventional Oil Field

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy