Skip to content
cs-conference-ranking.org

All-Instances Termination of Chase is Undecidable.

Tomasz Gogacz, Jerzy Marcinkowski

VenueA*ICALP
Year2014
ProceedingsICALP (2)
DBLP recordconf/icalp/GogaczM14 ↗

Browse the full ICALP paper archive.