Author:
Abiteboul Serge,Vianu Victor
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Datalog Unchained;Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2021-06-20
2. Related Work;Verification of Business Rules Programs;2013-09-23
3. A logic for state-modifying authorization policies;ACM Transactions on Information and System Security;2010-07
4. Synthesizing advanced transaction models using the situation calculus;Journal of Intelligent Information Systems;2009-07-02
5. Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications;Theoretical Computer Science;2009-02