作 者:Ramon Viñas ;Albert Rubio
出 处:Aplec de treballs. 2016 ;(34).
出 版 社:Institut Ramon Muntaner
文 章 ID:213400687
作 者:Frédéric Blanqui ;Jean-Pierre Jouannaud ;Albert Rubio
出 处:Logical Methods in Computer Science. 2015 ;11(4):1.doi:10.2168/LMCS-11(4:3)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692114
作 者:Ramon Viñas ;Albert Rubio ;Laura Martínez 等
出 处:Aplec de treballs. 2007 ;(25):23-30.
出 版 社:Institut Ramon Muntaner
文 章 ID:100332179
作 者:Ramon Viñas ;Albert Rubio
出 处:Aplec de treballs. 2012 ;(30):57-77.
出 版 社:Institut Ramon Muntaner
文 章 ID:100332226