Author:
Garcia-Contreras Isabel,Morales Jose F.,Hermenegildo Manuel V.
Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28
2. Testing Your (Static Analysis) Truths;Logic-Based Program Synthesis and Transformation;2021
3. Incremental Analysis of Logic Programs with Assertions and Open Predicates;Logic-Based Program Synthesis and Transformation;2020