Publisher
Springer International Publishing
Reference29 articles.
1. Armando, A., Bonacina, M.P., Ranise, S., Schulz, S.: New results on rewrite-based satisfiability procedures. TOCL 10(1), 4 (2009)
2. Armando, A., Ranise, S., Rusinowitch, M.: A rewriting approach to satisfiability procedures. I&C 183(2), 140–164 (2003)
3. Barrett, C., Shikanian, I., Tinelli, C.: An abstract decision procedure for satisfiability in the theory of inductive data types. JSAT 3, 21–46 (2007)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Bouchard,2013
5. Bradley, A.R., Manna, Z.: The Calculus of Computation - Decision Procedures with Applications to Verification. Springer, Heidelberg (2007).
https://doi.org/10.1007/978-3-540-74113-8
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Variants and satisfiability in the infinitary unification wonderland;Journal of Logical and Algebraic Methods in Programming;2023-08
2. Polite Combination of Algebraic Datatypes;Journal of Automated Reasoning;2022-05-05
3. Symbolic Computation in Maude: Some Tapas;Logic-Based Program Synthesis and Transformation;2021
4. Politeness for the Theory of Algebraic Datatypes;Automated Reasoning;2020
5. Programming and symbolic computation in Maude;Journal of Logical and Algebraic Methods in Programming;2020-01