Skip to main content
main-content
Top

Journal

Annals of Mathematics and Artificial Intelligence 5/2022
Annals of Mathematics and Artificial Intelligence

Issue 5/2022

share
SHARE
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

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

Premium Partner