date: 2021-09-21T07:17:29Z
pdf:PDFVersion: 1.5
pdf:docinfo:title: Deciding ?-Regular Properties on Linear Recurrence Sequences
xmp:CreatorTool: Conference Publishing Consulting
access_permission:can_print_degraded: true
subject: POPL 2021
dc:format: application/pdf; version=1.5
pdf:docinfo:creator_tool: Conference Publishing Consulting
access_permission:fill_in_form: true
pdf:encrypted: false
dc:title: Deciding ?-Regular Properties on Linear Recurrence Sequences
modified: 2021-09-21T07:17:29Z
cp:subject: POPL 2021
pdf:docinfo:subject: POPL 2021
pdf:docinfo:creator: Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, and James Worrell
PTEX.Fullbanner: This is MiKTeX-pdfTeX 4.0.1 (1.40.21)
meta:author: Shaull Almagor
meta:creation-date: 2020-11-25T07:53:59Z
created: 2020-11-25T07:53:59Z
access_permission:extract_for_accessibility: true
Creation-Date: 2020-11-25T07:53:59Z
Author: Shaull Almagor
producer: ConfPub - popl21main-p394-p rev-468fce3714-48684 p1387
pdf:docinfo:producer: ConfPub - popl21main-p394-p rev-468fce3714-48684 p1387
pdf:unmappedUnicodeCharsPerPage: 0
dc:description: POPL 2021
Keywords: linear loops;  linear recurrence sequences;  omega-regular properties;  almost periodic words
access_permission:modify_annotations: true
dc:creator: Shaull Almagor
description: POPL 2021
dcterms:created: 2020-11-25T07:53:59Z
Last-Modified: 2021-09-21T07:17:29Z
dcterms:modified: 2021-09-21T07:17:29Z
title: Deciding ?-Regular Properties on Linear Recurrence Sequences
xmpMM:DocumentID: uuid:0f69dac6-bc0a-4526-81f4-b61ef3d47958
Last-Save-Date: 2021-09-21T07:17:29Z
pdf:docinfo:keywords: linear loops;  linear recurrence sequences;  omega-regular properties;  almost periodic words
pdf:docinfo:modified: 2021-09-21T07:17:29Z
meta:save-date: 2021-09-21T07:17:29Z
pdf:docinfo:custom:PTEX.Fullbanner: This is MiKTeX-pdfTeX 4.0.1 (1.40.21)
Content-Type: application/pdf
X-Parsed-By: org.apache.tika.parser.DefaultParser
creator: Shaull Almagor
dc:subject: linear loops;  linear recurrence sequences;  omega-regular properties;  almost periodic words
access_permission:assemble_document: true
xmpTPg:NPages: 24
pdf:charsPerPage: 3178
access_permission:extract_content: true
access_permission:can_print: true
meta:keyword: linear loops;  linear recurrence sequences;  omega-regular properties;  almost periodic words
access_permission:can_modify: true
pdf:docinfo:created: 2020-11-25T07:53:59Z