Skip to main content
main-content

Zeitschrift

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

Ausgabe 5/2022

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (5 Artikel)

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