Capretta, Venanzio

Uustalu, Tarmo

Venanzio Capretta and Tarmo Uustalu

Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Berlin

Springer-Verlag

2016

p. 91-106

Lecture notes in computer science ; 9634

https://doi.org/10.1007/978-3-662-49630-5_6

algebra

teoreemid

0302-9743

978-3-662-49629-9

Bibliogr.: 23 ref

TTÜ Küberneetika Instituut

arvutiteaduse instituut

inglise