We present a unification problem based on first-order syntactic unification which ask whether every problem in a particular infinite sequence of unification problems is unifiable. The restricted structure of our sequence of unification problems allows an alternative for- mulation of the problem as recursively calling first-order syntactic unification on certain bindings if the unifier has a particular structure. The latter formulation allows us to con- jecture a sufficient condition for unifiability of the sequence based on the structure of a finite sequence of unifiers. It remains an open whether this condition is also necessary.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Vortrag auf einer Tagung (nicht referiert)
Vortragsdatum:
18.07.2021
Vortragsort:
Österreich
Details zum Vortragsort:
online aufgrund von COVID-19 (geplant in Argentinien)