Author:
Kutsia Temur,Levy Jordi,Villaret Mateu
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Lecture Notes in Computer Science;H. Boley,1999
2. Buchberger, B., Crǎciun, A., Jebelean, T., Kovács, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4, 470–504 (2006)
3. Lecture Notes in Computer Science;E. Chasseur,1998
4. Lecture Notes in Computer Science;J. Coelho,2004
5. Lecture Notes in Computer Science;J. Coelho,2006
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unranked Nominal Unification;Lecture Notes in Computer Science;2022
2. Anti-unification for Unranked Terms and Hedges;Journal of Automated Reasoning;2013-04-19
3. Automated Reasoning;Hagenberg Research;2010
4. Simplifying the signature in second-order unification;Applicable Algebra in Engineering, Communication and Computing;2009-09-04