Decomposing Farkas Interpolants
Informazioni aggiuntive
Autori
Sharygina N.,
Blicha M.,
Hyvärinen A.,
Kofron J.
Tipo
Contributo in atti di convegno
Anno
2019
Lingua
Inglese
Nome convegno
25th TACAS 2019
Luogo convegno
Prague, Czech Republic
Data convegno
April 6-11, 2019