Author:
Schneider-Kamp Peter,Giesl Jürgen,Nguyen Manh Thang
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols;ACM Transactions on Computational Logic;2017-12-19
2. Datalog and Logic Databases;Synthesis Lectures on Data Management;2015-11-05
3. Localized Operational Termination in General Logics;Software, Services, and Systems;2015
4. Checking termination of bottom-up evaluation of logic programs with function symbols;Theory and Practice of Logic Programming;2014-08-13
5. Proving Operational Termination of Declarative Programs in General Logics;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014