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

Wed 6 Sep

Displayed time zone: Belfast change

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