logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
T

Temur Kutsia

johannes kepler university linz

13H指数
127论文数
767被引数
收录论文 3
发表时间
logo
Higher-Order Pattern Unification Modulo Similarity Relations基于相似关系的更高阶模式统一
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errDundua, Besik; Kutsia, Temur
err分享
err收藏
Graded Quantitative Narrowing梯度定量缩窄
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errAyala-Rincon, Mauricio; de Lima, Thaynara Arielly; Ehling, Georg; Kutsia, Temur
err分享
err收藏
Equational Generalization Problems with Atom-Variables含原子变量的等式泛化问题
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errBaumgartner, Alexander; Kutsia, Temur; Nantes-Sobrinho, Daniele; Schmidt-Schauss, Manfred
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Manfred Schmidt-Schauß
H 指数: 22 · 论文数: 131
M
Maurício Ayala-Rincón
H 指数: 16 · 论文数: 179
D
Daniele Nantes-Sobrinho
H 指数: 6 · 论文数: 48
T
Thaynara Arielly de Lima
H 指数: 6 · 论文数: 22
B
Besik Dundua
H 指数: 5 · 论文数: 41
查看更多