Combined Decision Techniques for the Existential Theory of the Reals

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-02614-0_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Computable Decision Making on the Reals and Other Spaces

2018English

The Complete Existential Theory of Hurwitz's Postulates for Abelian Groups and Fields

Bulletin of the American Mathematical Society
1922English

Putting Theory Into Practice: The Creation of REALs in the Context of Today's Universities

ALT-J
1999English

A Note on the Existential Theory of Equations in Plain Groups

International Journal of Algebra and Computation
Mathematics
2002English

The Cybernetic Theory of Decision.

Administrative Science Quarterly
ArtsSociologyPolitical SciencePublic AdministrationHumanities
1976English

Decision Procedures for Extensions of the Theory of Arrays

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2007English

Fuzzy Techniques for Decision Making

Symmetry
MathematicsChemistryPhysicsComputer ScienceAstronomy
2017English

Measures of Graphs on the Reals

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1990English

Isomorphisms of Lexicographic Powers of the Reals

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy