Vol-2242⫷ Vol-2243 ⫸Vol-2244
urn:nbn:de:0074-2243-0


Vol-2243/paper11⫷Vol-2243/paper12⫸Vol-2243/paper13
Armando B. MatosLuca PaoliniLuca Roversi

The Fixed Point Problem for General and for Linear SRL Programs is Undecidable