Author:
De Angelis Emanuele,Fioravanti Fabio,Pettorossi Alberto,Proietti Maurizio
Publisher
Springer Berlin Heidelberg
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Farkas Bounds on Horn Constraint Systems;Theory of Computing Systems;2024-01-06
3. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12
4. Multiple Query Satisfiability of Constrained Horn Clauses;Practical Aspects of Declarative Languages;2023
5. Structure-Guided Solution of Constrained Horn Clauses;Automated Technology for Verification and Analysis;2023