Specification, Algebra, and Software: Essays Dedicated to ...
Preview
Endrullis, J., Grabmayer, C., Hendriks, D.: Data-oblivious stream productivity. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol. 5330, pp. 79–96. Springer, Heidelberg (2008) 9. Endrullis, J., Grabmayer, C., Hendriks, ...