作 者:Luca Roversi ;Luca Vercelli
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;23:63-77.doi:10.4204/EPTCS.23.5
出 版 社:Open Publishing Association
文 章 ID:83119874
作 者:Luca Paolini ;Mauro Piccolo ;Luca Roversi
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:7:1-7:21.doi:10.4230/LIPIcs.TYPES.2015.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015482
作 者:Luca Paolini ;Luca Roversi ;Margherita Zorzi
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;292:133-147.doi:10.4204/EPTCS.292.8
出 版 社:Open Publishing Association
文 章 ID:1034960463