Author:
Lynch Christopher,Ranise Silvio,Ringeissen Christophe,Tran Duc-Khanh
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference34 articles.
1. On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal;Armando,2005
2. A rewriting approach to satisfiability procedures;Armando;J. Inform. Comput.,2003
3. T. Ball, S.K. Rajamani, The SLAM project: Debugging system software via static analysis, in: Principle of Programming Languages (POPLʼ02), 2002, pp. 1–3.
4. Automated complexity analysis based on ordered resolution;Basin;J. ACM,2001
5. Decidability and undecidability results for Nelson–Oppen and rewrite-based decision procedures;Bonacina,2006
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献