FSCD 2017
Mon 4 - Thu 7 September 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
Complete Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Track/Call
Organization
FSCD 2017
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2017
(
series
) /
FSCD 2017 (
series
) /
FSCD 2017
/
Infinite Runs in Abstract Completion
Who
Nao Hirokawa
,
Aart Middeldorp
,
Christian Sternagel
,
Sarah Winkler
Track
FSCD 2017
When
Wed 6 Sep 2017 15:30 - 16:00 at
L2
-
Session 13
Nao Hirokawa
Author
JAIST
Aart Middeldorp
Author
Christian Sternagel
Author
Sarah Winkler
Author
Session Program
Wed 6 Sep
fscd-2017
15:00 - 16:00:
FSCD 2017
- Session 13 at
L2
fscd-2017
15:00 - 15:30
Talk
Böhm Reduction in Infinitary Term Graph Rewriting Systems
Patrick Bahr
IT University of Copenhagen
fscd-2017
15:30 - 16:00
Talk
Infinite Runs in Abstract Completion
Nao Hirokawa
JAIST
,
Aart Middeldorp
,
Christian Sternagel
,
Sarah Winkler
x
Tue 19 Feb 06:45