Approximations of Isomorphism and Logics with Linear-Algebraic Operators
Approximations of Isomorphism and Logics with Linear-Algebraic Operators
复制标题
同构近似和线性代数算子逻辑
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Anuj Dawar
中科院分区：
文献类型：
--
作者：
Anuj Dawar
登录
查看更多内容
DOI：
10.37236/209
发表时间：
2009
期刊：
Electron. J. Comb.
影响因子：
--
作者：
A. Barghi;I. Ponomarenko
通讯作者：
I. Ponomarenko
DOI：
--
发表时间：
2001
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
A. Blass;Y. Gurevich;S. Shelah
通讯作者：
S. Shelah
DOI：
--
发表时间：
2012
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
A. Dawar;E. Grädel;Bjarki Holm;Eryk Kopczynski;Wied Pakusa
通讯作者：
Wied Pakusa
DOI：
10.1016/0166-218x(89)90047-4
发表时间：
1989
期刊：
Discret. Appl. Math.
影响因子：
--
作者：
S. Friedland
通讯作者：
S. Friedland
扩展逻辑：总体框架
DOI：
10.1017/9781316717158.005
发表时间：
2016
期刊：
ArXiv
影响因子：
--
作者：
H. Ebbinghaus;J. Barwise;S. Feferman
通讯作者：
S. Feferman