The fixed point problem for general and for linear SRL programs is undecidable

Paolini, Luca;Roversi, Luca
2018-01-01

19th Italian Conference on Theoretical Computer Science, ICTCS 2018
ita
2018
CEUR Workshop Proceedings
CEUR-WS
2243
128
139
http://ceur-ws.org/Vol-2243/
Computer Science (all)
Matos, Armando B.; Paolini, Luca; Roversi, Luca
File in questo prodotto:
File Dimensione Formato  
The Fixed Point Problem for General and for Linear SRL Programs is Undecidable - CEUR 2018 ori.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 608.76 kB
Formato Adobe PDF
608.76 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1683911
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact