首页|Correction to: Certified First-Order AC-Unification and Applications

Correction to: Certified First-Order AC-Unification and Applications

扫码查看

Mauricio Ayala-Rincón、Maribel Fernández、Gabriel Ferreira Silva、Temur Kutsia、Daniele Nantes-Sobrinho

展开 >

University of Brasília

King’s College London

Johannes Kepler University

University of Brasília||Imperial College

展开 >

2025

Journal of automated reasoning

Journal of automated reasoning

ISSN:0168-7433
年,卷(期):2025.69(1)