Journal Annals of Mathematics and Artificial Intelligence Issue 5/2022 share SHARE Search insite SEARCH Table of Contents (5 Articles) 22-04-2022 Preface Temur Kutsia, Andrew M. Marshall Open Access 30-09-2021 | S704: Unification - UNIF 2020 Functions-as-constructors higher-order unification: extended pattern unification Tomer Libal, Dale Miller Download PDF-version 01-09-2021 | S704: Unification - UNIF 2020 About the unification type of Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv, Tinko Tinchev 01-05-2022 Order-sorted equational generalization algorithm revisited María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña 03-07-2021 The undecidability of proof search when equality is a logical connective Dale Miller, Alexandre Viel
