出版物

过滤器：作者是V.Sofronie-Stokkerman公司  [清除所有筛选器]
会议文献
兰塔A.语言和逻辑之间的翻译：什么容易，什么难？。输入：比约纳N,索夫罗尼·斯托克曼五世，编辑。 CADE-23。自动扣除LNCS/LNAI 6803卷。CADE-23。自动扣除。http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3; 2011:5-25. 网址：http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf.阵列