Details
Title
Spielmann, Andrej
Sciper ID
200254
Publications
Automatic Synthesis of Out-of-Core Algorithms
On A Model For Mass Aggregation With Maximal Size
On Synthesis for Unbounded Bit-vector Arithmetic
On A Model For Mass Aggregation With Maximal Size
On Synthesis for Unbounded Bit-vector Arithmetic
Link to search
All resources
Record appears in
Authorities > People