Author:
Bonacina Maria Paola,Dershowitz Nachum
Publisher
Springer Berlin Heidelberg
Reference74 articles.
1. Formal Methods and Semantics;K.R. Apt,1990
2. Armando, A., Bonacina, M.P., Ranise, S., Schulz, S.: New results on rewrite-based satisfiability procedures. ACM Transactions on Computational Logic 10(1), 129–179 (2009)
3. Armando, A., Ranise, S., Rusinowitch, M.: A rewriting approach to satisfiability procedures. Information and Computation 183(2), 140–164 (2003)
4. Bachmair, L., Dershowitz, N.: Inference rules for rewrite-based first-order theorem proving. In: Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science, pp. 331–337. IEEE Computer Society Press (1987)
5. Bachmair, L., Dershowitz, N.: Equational inference, canonical proofs, and proof orderings. Journal of the Association for Computing Machinery 41(2), 236–276 (1994)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献