受强制性开放获取政策约束的文章 - Răzvan Diaconescu了解详情
可在其他位置公开访问的文章：4 篇
What is a Logic? In memoriam Joseph Goguen
T Mossakowski, J Goguen, R Diaconescu, A Tarlecki
Logica universalis: towards a general theory of logic, 111-133, 2007
强制性开放获取政策： German Research Foundation
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3, 95-124, 2009
强制性开放获取政策： German Research Foundation
Encoding hybridized institutions into first-order logic
R Diaconescu, A Madeira
Mathematical Structures in Computer Science 26 (5), 745-788, 2016
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
The institution-theoretic scope of logic theorems
R Diaconescu, T Mossakowski, A Tarlecki
Logica Universalis 8, 393-406, 2014
强制性开放获取政策： German Research Foundation
出版信息和资助信息由计算机程序自动确定