首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
CATEGORICAL TENSOR CALCULUS FOR AUTOMATA
被引:0
|
作者
:
MESEGUER, J
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV ZARAGOZA,FAC CIENCIAS,ZARAGOZA,SPAIN
UNIV ZARAGOZA,FAC CIENCIAS,ZARAGOZA,SPAIN
MESEGUER, J
[
1
]
SOLS, I
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV ZARAGOZA,FAC CIENCIAS,ZARAGOZA,SPAIN
UNIV ZARAGOZA,FAC CIENCIAS,ZARAGOZA,SPAIN
SOLS, I
[
1
]
机构
:
[1]
UNIV ZARAGOZA,FAC CIENCIAS,ZARAGOZA,SPAIN
来源
:
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES
|
1975年
/ 23卷
/ 11期
关键词
:
D O I
:
暂无
中图分类号
:
P1 [天文学];
学科分类号
:
0704 ;
摘要
:
引用
收藏
页码:1161 / 1166
页数:6
相关论文
共 50 条
[1]
A Calculus for Team Automata
ter Beek, Maurice H.
论文数:
0
引用数:
0
h-index:
0
机构:
CNR, Ist Sci Tecnol Informazione, Via G Moruzzi 1, I-56124 Pisa, Italy
CNR, Ist Sci Tecnol Informazione, Via G Moruzzi 1, I-56124 Pisa, Italy
ter Beek, Maurice H.
论文数:
引用数:
h-index:
机构:
Gadducci, Fabio
Janssens, Dirk
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Antwerp Middelheimlaan 1, Dept Math & Comp Sci, B-2020 Antwerp, Belgium
CNR, Ist Sci Tecnol Informazione, Via G Moruzzi 1, I-56124 Pisa, Italy
Janssens, Dirk
[J].
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
2008,
195
: 41
-
55
[2]
Calculus for timed automata
D'Argenio, P.R.
论文数:
0
引用数:
0
h-index:
0
D'Argenio, P.R.
Brinksma, E.
论文数:
0
引用数:
0
h-index:
0
Brinksma, E.
[J].
1996,
(1135)
[3]
Categorical models of the differential λ-calculus
Cockett, Robin
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Calgary, Dept Comp Sci, Calgary, AB, Canada
Univ Calgary, Dept Comp Sci, Calgary, AB, Canada
Cockett, Robin
Gallagher, Jonathan
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Calgary, Dept Comp Sci, Calgary, AB, Canada
Univ Calgary, Dept Comp Sci, Calgary, AB, Canada
Gallagher, Jonathan
[J].
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,
2019,
29
(10)
: 1513
-
1555
[4]
A Categorical Model of the Fusion Calculus
Miculan, Marino
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Udine, Dept Math & Comp Sci, Via Sci 206, I-33100 Udine, Italy
Univ Udine, Dept Math & Comp Sci, Via Sci 206, I-33100 Udine, Italy
Miculan, Marino
[J].
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
2008,
218
(275-293)
: 275
-
293
[5]
CATEGORICAL CHARACTERIZATION OF GENERAL AUTOMATA
RINE, DC
论文数:
0
引用数:
0
h-index:
0
RINE, DC
[J].
INFORMATION AND CONTROL,
1971,
19
(01):
: 30
-
&
[6]
Tensor calculus: unlearning vector calculus
Lee, Wha-Suck
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Pretoria, Dept Math & Appl Math, Pretoria, South Africa
Univ Pretoria, Dept Math & Appl Math, Pretoria, South Africa
Lee, Wha-Suck
Engelbrecht, Johann
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Pretoria, Dept Sci Math & Technol Educ, Pretoria, South Africa
Univ Pretoria, Dept Math & Appl Math, Pretoria, South Africa
Engelbrecht, Johann
Moller, Rita
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Pretoria, Dept Math & Appl Math, Pretoria, South Africa
Univ Pretoria, Dept Math & Appl Math, Pretoria, South Africa
Moller, Rita
[J].
INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY,
2018,
49
(02)
: 293
-
304
[7]
GALILEAN TENSOR CALCULUS
PINSKI, G
论文数:
0
引用数:
0
h-index:
0
PINSKI, G
[J].
JOURNAL OF MATHEMATICAL PHYSICS,
1968,
9
(11)
: 1927
-
&
[8]
Anisotropic tensor calculus
论文数:
引用数:
h-index:
机构:
Angel Javaloyes, Miguel
[J].
INTERNATIONAL JOURNAL OF GEOMETRIC METHODS IN MODERN PHYSICS,
2019,
16
[9]
Tensor Calculus of Twinning
Kopsky, V.
论文数:
0
引用数:
0
h-index:
0
机构:
Czech Acad Sci, Inst Phys, Prague 18221 8, Czech Republic
Czech Acad Sci, Inst Phys, Prague 18221 8, Czech Republic
Kopsky, V.
[J].
ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES,
2000,
56
: S153
-
S153
[10]
TENSOR CALCULUS FOR SUPERGRAVITY
FERRARA, S
论文数:
0
引用数:
0
h-index:
0
FERRARA, S
VANNIEUWENHUIZEN, P
论文数:
0
引用数:
0
h-index:
0
VANNIEUWENHUIZEN, P
[J].
PHYSICS LETTERS B,
1978,
76
(04)
: 404
-
408
←
1
2
3
4
5
→