Deciding ω-Regular Properties on Linear Recurrence Sequences

Almagor, Shaull; Karimov, Toghrul; Kelmendi, Edon; Ouaknine, Joël; Worrell, James

doi:10.1145/3434329

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

Deciding ω-Regular Properties on Linear Recurrence Sequences

MPG-Autoren

/persons/resource/persons260459

Karimov, Toghrul
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons217847

Ouaknine, Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

3434329.pdf
(Verlagsversion), 297KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Almagor, S., Karimov, T., Kelmendi, E., Ouaknine, J., & Worrell, J. (2021). Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages, 5, POPL: 48, pp. 1-24. doi:10.1145/3434329.

Zitierlink: https://hdl.handle.net/21.11116/0000-0009-2F04-F

Zusammenfassung

Es ist keine Zusammenfassung verfügbar