English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Conference Paper

O-Minimal Invariants for Linear Loops

MPS-Authors
/persons/resource/persons217847

Ouaknine,  Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

http://drops.dagstuhl.de/opus/volltexte/2018/9118/
(Publisher version)

http://drops.dagstuhl.de/doku/urheberrecht1.html
(Copyright transfer agreement)

Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

LIPIcs-ICALP-2018-114.pdf
(Publisher version), 619KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Almagor, S., Chistikov, D., Ouaknine, J., & Worrell, J. (2018). O-Minimal Invariants for Linear Loops. In I. Chatzigiannakis, C. Kaklamanis, D. Marx, & D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (pp. 1-14). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2018.114.


Cite as: https://hdl.handle.net/21.11116/0000-0003-21D6-6
Abstract
There is no abstract available