Article,
What's decidable about linear loops?
T. Karimov, E. Lefaucheux, J. Ouaknine, D. Purser, A. Varonka, M. Whiteland, and J. Worrell.Proc. ACM Program. Lang., 6 (POPL): 1-25 (2022)
Meta data
- BibTeX key
- journals/pacmpl/KarimovLOPVWW22
- entry type
- article
- year
- 2022
- journal
- Proc. ACM Program. Lang.
- number
- POPL
- pages
- 1-25
- volume
- 6
- ee
- https://doi.org/10.1145/3498727
- url
- http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#KarimovLOPVWW22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/pacmpl/KarimovLOPVWW22
%A Karimov, Toghrul
%A Lefaucheux, Engel
%A Ouaknine, Joël
%A Purser, David
%A Varonka, Anton
%A Whiteland, Markus A.
%A Worrell, James
%D 2022
%J Proc. ACM Program. Lang.
%K dblp
%N POPL
%P 1-25
%T What's decidable about linear loops?
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#KarimovLOPVWW22
%V 6
@article{journals/pacmpl/KarimovLOPVWW22,
added-at = {2022-12-05T00:00:00.000+0100},
author = {Karimov, Toghrul and Lefaucheux, Engel and Ouaknine, Joël and Purser, David and Varonka, Anton and Whiteland, Markus A. and Worrell, James},
biburl = {https://www.bibsonomy.org/bibtex/2c1f9759cebc34065772af84a463edcb1/dblp},
ee = {https://doi.org/10.1145/3498727},
interhash = {598e06c168f674bbd658692d3eaa3394},
intrahash = {c1f9759cebc34065772af84a463edcb1},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {POPL},
pages = {1-25},
timestamp = {2024-04-08T09:54:16.000+0200},
title = {What's decidable about linear loops?},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#KarimovLOPVWW22},
volume = 6,
year = 2022
}