Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Kozen
Decidability of Systems of Set Constraints With Negative Constraints
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
Related publications
Disjunctive Programs With Set Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Decidability of Query Containment Under Constraints
Advocatus Diaboli – Exploratory Enrichment of Ontologies With Negative Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuous-Time Distributed Convex Optimization With Set Constraints
IFAC Proceedings Volumes
Stabilization of LTI Systems With Communication Constraints
Set Constraints in Some Equational Theories
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Equations of Motion for Hamiltonian Systems With Constraints
Journal of Physics A: Mathematical and General
Mixed Criticality Systems With Weakly-Hard Constraints
Robust Stability of Networked Control Systems With Communication Constraints
International Journal of Computer and Communication Engineering
