Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-015-9351-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Theory of Successive Field-Induced First Order Transitions in Quasi-Two Dimensional Conductors

Journal of the Physical Society of Japan
AstronomyPhysics
1995English

Completeness and Decidability Results for First-Order Clauses With Indices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Ground-Negative Fragment of First-Order Logic Is -Complete

Journal of Symbolic Logic
PhilosophyLogic
1999English

First Order Theory of Permutation Groups

Israel Journal of Mathematics
Mathematics
1973English

The First Order Theory of $N$-Colorable Graphs

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1979English

Decidability of Conversion for Type Theory in Type Theory

Proceedings of the ACM on Programming Languages
2018English

The Logic of Propagation Strategies: Axiomatizing a Fragment of Organizational Ecology in First-Order Logic

Organization Science
ManagementOrganizational BehaviorHuman Resource ManagementStrategyInnovationManagement of Technology
1997English

The Hanf Number of the First Order Theory of Banach Spaces

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1978English

The First and Second Order Equations of the Quantum Theory

Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character
1929English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy