The fixed point problem for general and for linear SRL programs is undecidable
Paolini, Luca;Roversi, Luca
2018-01-01
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.