Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2019/20 / Oberseminar / Taro Yoshioka: Unifikation von Multimengengleichungen von Variablen-zu-Variablen-Bindungen


Inhaltsbereich

Taro Yoshioka: Unifikation von Multimengengleichungen von Variablen-zu-Variablen-Bindungen

Oberseminarvortrag von Taro Yoshioka über Unifikation von Multimengengleichungen von Variablen-zu-Variablen-Bindungen
Wann 16:15 18:00 09.01.2020
von bis
Wo Raum L109, Oettingenstr. 67
Termin übernehmen vCal
iCal

Es spricht Taro Yoshioka über:
Unifikation von Multimengengleichungen von Variablen-zu-Variablen-Bindungen

Abstract:
Unfikationsprobleme zwischen Multimengen von Bindungen sind
Gleichungen der Form {a_1 = b_1;...;a_n=b_n} = {x_1 =
y_1;...;x_m=y_m}, wobei a_i, b_i, x_i, y_i sowohl feste Variablennamen
oder instanziierbare Variablen für solche festen Namen sein dürfen.
Solche Gleichungen können noch erweitert werden um Variablen, die
ganze (Teil-)mengen solcher Multimengen repräsentieren. Im Rahmen
einer Bachelorarbeit wurden Algorithmen zur Lösung solcher
Unfikationsprobleme entwickelt und in der funktionalen
Programmiersprache Haskell implementiert. Im Vortrag werden die
Ergebnisse dieser Arbeit vorgestellt.

Artikelaktionen


Funktionsleiste