FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Wed 6 Sep 2017 15:00 - 15:30 at L2 - Session 13

Wed 6 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

15:00 - 16:00: Session 13FSCD 2017 at L2
15:00 - 15:30
Talk
Böhm Reduction in Infinitary Term Graph Rewriting Systems
FSCD 2017
A: Patrick BahrIT University of Copenhagen
15:30 - 16:00
Talk
Infinite Runs in Abstract Completion
FSCD 2017