Standard

Quantifier Elimination for Regular Integer Linear-Exponential Programming. / Starchak, M.R.

2025. 44-56 Paper presented at 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore.

Research output: Contribution to conference › Paper › peer-review

Harvard

Starchak, MR 2025, 'Quantifier Elimination for Regular Integer Linear-Exponential Programming', Paper presented at 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore, 23/06/25 - 26/06/25 pp. 44-56. https://doi.org/10.1109/LICS65433.2025.00011

APA

Starchak, M. R. (2025). Quantifier Elimination for Regular Integer Linear-Exponential Programming. 44-56. Paper presented at 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore. https://doi.org/10.1109/LICS65433.2025.00011

Vancouver

Starchak MR. Quantifier Elimination for Regular Integer Linear-Exponential Programming. 2025. Paper presented at 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore. https://doi.org/10.1109/LICS65433.2025.00011

Author

Starchak, M.R. / Quantifier Elimination for Regular Integer Linear-Exponential Programming. Paper presented at 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore.13 p.

BibTeX

@conference{399342fdb0e8446eb432437e34cebfc7,
title = "Quantifier Elimination for Regular Integer Linear-Exponential Programming",
author = "M.R. Starchak",
note = "Export Date: 26 January 2026; Cited By: 1; Conference name: 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025; Conference location: Singapore; Conference date: 2025-06-23 through 2025-06-26; CODEN: PSLSE; 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ; Conference date: 23-06-2025 Through 26-06-2025",
year = "2025",
doi = "10.1109/LICS65433.2025.00011",
language = "English",
pages = "44--56",

}

RIS

TY - CONF

T1 - Quantifier Elimination for Regular Integer Linear-Exponential Programming

AU - Starchak, M.R.

N1 - Export Date: 26 January 2026; Cited By: 1; Conference name: 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025; Conference location: Singapore; Conference date: 2025-06-23 through 2025-06-26; CODEN: PSLSE

PY - 2025

Y1 - 2025

U2 - 10.1109/LICS65433.2025.00011

DO - 10.1109/LICS65433.2025.00011

M3 - Paper

SP - 44

EP - 56

T2 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Y2 - 23 June 2025 through 26 June 2025

ER -

ID: 147895384