Submit
Personalize
Your alerts
Your lists
Your searches
Help
de
en
fr
it
guest ::
login
Advanced Search
Search in fulltext
Save the selected filter for next search
Refine my results
Document type
Articles
(1)
Institution
National
(1)
Specific Collection
National Collections
(1)
Language
English
(1)
Author
Kuncak, Viktor
(1)
Mayer, Mikaël
(1)
Piskac, Ruzica
(1)
Suter, Philippe
(1)
Domain
Medicine, Technology, Engineering
(1)
Keyword
Complete synthesis procedures
(1)
Decision procedures
(1)
Linear integer arithmetic
(1)
Software synthesis
(1)
Sorted by: Date of deposit
Date of deposit
Title
Author
Ascending
Descending
1
results
1
Postprint
Functional synthesis for linear arithmetic and sets
Kuncak, Viktor
;
Mayer, Mikaël
;
Piskac, Ruzica
;
Suter, Philippe
In: International Journal on Software Tools for Technology Transfer, 2013, vol. 15, no. 5-6, p. 455-474
