An undecidability result for AGh (2006)

by S Delaune
Venue:Theoretical Computer Science