Polynomial Invariants for Affine Programs-Reference-Cited by-同舟云学术

Polynomial Invariants for Affine Programs

Published:2018-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Hrushovski Ehud¹,Ouaknine Joël²,Pouly Amaury³,Worrell James⁴

Affiliation:

1. Mathematical Institute, Oxford University, UK

2. Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany, Department of Computer Science, Oxford University, UK

3. Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany

4. Department of Computer Science, Oxford University, UK

Funder

H2020 European Research Council

Publisher

ACM

Link

Reference42 articles.

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Algebraic Tools for Computing Polynomial Loop Invariants;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16

3. Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

4. Semigroup Algorithmic Problems in Metabelian Groups;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10