Author:
Hoder Kryštof,Voronkov Andrei
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;L. Albert,1991
2. Lecture Notes in Computer Science;J. Avenhaus,1995
3. Corbin, J., Bidoit, M.: A rehabilitation of Robinson’s unification algorithm. In: IFIP Congress, pp. 909–914 (1983)
4. Escalada-Imaz, G., Ghallab, M.: A practically efficient and almost linear unification algorithm. Artif. Intell. 36(2), 249–263 (1988)
5. Guibas, L.J., Szemerédi, E.: The analysis of double hashing. J. Comput. Syst. Sci. 16(2), 226–274 (1978)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program Synthesis in Saturation;Automated Deduction – CADE 29;2023
2. Superposition with Delayed Unification;Automated Deduction – CADE 29;2023
3. Faster Linear Unification Algorithm;Journal of Automated Reasoning;2022-08-12
4. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More;2022 IEEE Symposium on Security and Privacy (SP);2022-05
5. Making Higher-Order Superposition Work;Journal of Automated Reasoning;2022-01-17