English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Polynomial Invariants for Affine Programs

Hrushovski, E., Ouaknine, J., Pouly, A., & Worrell, J. (2018). Polynomial Invariants for Affine Programs. In LICS'18 (pp. 530-539). New York, NY: ACM. doi:10.1145/3209108.3209142.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0003-21F8-0 Version Permalink: https://hdl.handle.net/21.11116/0000-0009-2B70-9
Genre: Conference Paper

Files

show Files
hide Files
:
1802.01810.pdf (Preprint), 264KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0009-2B71-8
Name:
1802.01810.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
©ACM 2018. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, http://dx.doi.org/10.1145/3209108.3209142.
License:
-

Locators

show

Creators

show
hide
 Creators:
Hrushovski, Ehud1, Author
Ouaknine, Joël2, Author           
Pouly, Amaury2, Author           
Worrell, James1, Author
Affiliations:
1External Organizations, ou_persistent22              
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20182018
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Hrushovski_LICS2018
DOI: 10.1145/3209108.3209142
 Degree: -

Event

show
hide
Title: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Place of Event: Oxford, UK
Start-/End Date: 2018-07-09 - 2018-07-12

Legal Case

show

Project information

show hide
Project name : AVS-ISS
Grant ID : 648701
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: LICS'18
  Abbreviation : LICS 2018
  Subtitle : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: New York, NY : ACM
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 530 - 539 Identifier: ISBN: 978-1-4503-5583-4