ITEM METADATA RECORD
Title: Presburger formulas and polyhedral compilation
Authors: Verdoolaege, Sven
Issue Date: 2016
Publication status: published
KU Leuven publication type: DI
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
polycomp-tutorial-v0.02.pdftutorial Published 1039KbAdobe PDFView/Open

 


All items in Lirias are protected by copyright, with all rights reserved.