Unboundedness Problems for Machines with Reversal-Bounded Counters.

Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schtze, Georg Zetzsche

Browse the full FOSSACS paper archive.