Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Niwinski
On the Feasibility of Checking Temporal Integrity Constraints
Journal of Computer and System Sciences
Computer Networks
Applied Mathematics
Communications
Computational Theory
Mathematics
Theoretical Computer Science
Related publications
Checking Integrity Constraints in Deductive Systems Based on Production Rules and a Description Logic Terminology
Inconsistency-Tolerant Integrity Checking
IEEE Transactions on Knowledge and Data Engineering
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Integrity Constraints in Trust Management
A Dynamic View of Active Integrity Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets
Symmetry in Temporal Logic Model Checking
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Fixpoint Semantics for Active Integrity Constraints
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Simplification of Integrity Constraints for Data Integration
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
