Amanote Research

Amanote Research

    RegisterSign In

Decidability of Systems of Set Constraints With Negative Constraints

Information and Computation - United States
doi 10.1006/inco.1995.1139
Full Text
Open PDF
Abstract

Available in full text

Categories
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
Date

October 1, 1995

Authors
A. AikenD. KozenE. Wimmers
Publisher

Elsevier BV


Related search

Disjunctive Programs With Set Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On the Decidability of Query Containment Under Constraints

1998English

Advocatus Diaboli – Exploratory Enrichment of Ontologies With Negative Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Continuous-Time Distributed Convex Optimization With Set Constraints

IFAC Proceedings Volumes
2014English

Stabilization of LTI Systems With Communication Constraints

2000English

Set Constraints in Some Equational Theories

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

Equations of Motion for Hamiltonian Systems With Constraints

Journal of Physics A: Mathematical and General
1987English

Mixed Criticality Systems With Weakly-Hard Constraints

2015English

Robust Stability of Networked Control Systems With Communication Constraints

International Journal of Computer and Communication Engineering
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy