Polynomial Invariants for Affine Programs

Hrushovski, Ehud; Ouaknine, Joël; Pouly, Amaury; Worrell, James

doi:10.1145/3209108.3209142

Lokale TagsFreigabegeschichteDetailsÜbersicht

Polynomial Invariants for Affine Programs

Hrushovski, E., Ouaknine, J., Pouly, A., & Worrell, J. (2018). Polynomial Invariants for Affine Programs. In LICS'18 (pp. 530-539). New York, NY: ACM. doi:10.1145/3209108.3209142.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0003-21F8-0 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0009-2B70-9

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

ausblenden: Dateien

:

1802.01810.pdf (Preprint), 264KB

Öffnen Speichern

Datei-Permalink:
https://hdl.handle.net/21.11116/0000-0009-2B71-8

Name:
1802.01810.pdf

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Öffentlich

MIME-Typ / Prüfsumme:
application/pdf / [MD5]

Technische Metadaten:

Öffnen

Copyright Datum:
-

Copyright Info:
©ACM 2018. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, http://dx.doi.org/10.1145/3209108.3209142.

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Hrushovski, Ehud¹, Autor
Ouaknine, Joël², Autor
Pouly, Amaury², Autor
Worrell, James¹, Autor

Affiliations:
1External Organizations, ou_persistent22
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691