Original language | English |
---|---|
Article number | 6 |
Pages (from-to) | 1-19 |
Number of pages | 19 |
Journal | ACM Transactions on Computational Logic |
Volume | 20 |
Issue number | 1 |
Publication status | Published - Jan 2021 |
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints
Bart Bogaerts, Luis Cruz-Filipe
Research output: Contribution to journal › Article
2
Downloads
(Pure)