Ausgabe 5/2022
Inhalt (5 Artikel)
Open Access
S704: Unification - UNIF 2020
Functions-as-constructors higher-order unification: extended pattern unification
Tomer Libal, Dale Miller
S704: Unification - UNIF 2020
About the unification type of
Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Order-sorted equational generalization algorithm revisited
María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
The undecidability of proof search when equality is a logical connective
Dale Miller, Alexandre Viel