Seminarium, Logik
On 7 december
-
Seminarium, Logik
onsdag 2016-12-07, 10.00 - 11.45
Medverkande: Mateus de Oliveira Oliveira, University of Bergen
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
2016-12-07T10:00:00.000+01:00 2016-12-07T11:45:00.000+01:00 Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik)