The fixed point problem for general and for linear SRL programs is undecidable
Contributo in Atti di convegno
Data di Pubblicazione:
2018
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Computer Science (all)
Elenco autori:
Matos, Armando B.; Paolini, Luca; Roversi, Luca
Link alla scheda completa:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: