Termination of Triangular Integer Loops is Decidable

Frohn, Florian; Giesl, Jürgen

doi:10.1007/978-3-030-25543-5_24

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Termination of Triangular Integer Loops is Decidable

MPS-Authors

/persons/resource/persons253052

Frohn, Florian
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Frohn-Giesl2019_Chapter_TerminationOfTriangularInteger.pdf
(Publisher version), 370KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Frohn, F., & Giesl, J. (2019). Termination of Triangular Integer Loops is Decidable. In I. Dillig, & S. Tasiran (Eds.), Computer Aided Verification (pp. 426-444). Berlin: Springer. doi:10.1007/978-3-030-25543-5_24.

Cite as: https://hdl.handle.net/21.11116/0000-0007-7E8E-D

Abstract

There is no abstract available