UNIF 2024: The 38th International Workshop on Unification

July 2, 2024 | Nancy, France

Co-located with IJCAR 2024