Almost Affine Lambda Terms
Almost Affine Lambda Terms
复制标题
几乎仿射 Lambda 项
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Makoto Kanazawa
中科院分区：
文献类型：
--
作者：
Makoto Kanazawa
登录
查看更多内容
关于可逆传感器
DOI：
10.4230/lipics.icalp.2017.113
发表时间：
2017
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
L. Dartois;P. Fournier;Ismaël Jecker;N. Lhote
通讯作者：
N. Lhote
树行走树传感器型式检查的时间复杂度
影响因子：
0.6
作者：
J. Engelfriet
通讯作者：
J. Engelfriet
论线性递归方案的表现力
DOI：
--
发表时间：
2019
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
P. Clairambault;A. Murawski
通讯作者：
A. Murawski
宏树转换器、属性语法和 MSO 可定义树转换
影响因子：
1
作者：
J. Engelfriet;S. Maneth
通讯作者：
S. Maneth
树行走自动机无法识别所有常规语言
DOI：
--
发表时间：
2005
期刊：
Symposium on the Theory of Computing
影响因子：
--
作者：
Mikolaj Bojanczyk;Thomas Colcombet
通讯作者：
Thomas Colcombet