Merkliste 
 1 Ergebnisse 
 
1

Parallel Cost Analysis:

Albert, Elvira ; Correas, Jesús ; Johnsen, Einar Broch..
ACM Transactions on Computational Logic.  19 (2018)  4 - p. 1-37 , 2018