Semantics of MML Query - Ordering

被引：1

作者：

Bancerek, Grzegorz ^{[1
]}

机构：

[1] Assoc Mizar Users, Bialystok, Poland

来源：

FORMALIZED MATHEMATICS | 2013年 / 21卷 / 01期

关键词：

D O I：

10.2478/forma-2013-0004

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Semantics of order directives of MML Query is presented. The formalization is done according to [1].

引用

页码：41 / 46

页数：6

共 19 条

[1]

Bancerek G., 1990, FORMALIZED MATH, V1, P377

[2]

Bancerek G., 1990, FORMALIZED MATH, V1, P91

[3]

Bancerek G., 1990, FORMALIZED MATH, V1, P107

[4]

Bancerek G., 1996, FORMALIZED MATH, V5, P469

[5]

Bancerek G, 2006, LECT NOTES ARTIF INT, V4108, P266

[6] Semantics of MML Query [J].

Bancerek, Grzegorz .

FORMALIZED MATHEMATICS, 2012, 20 (02) :147-155

[7]

Bancerek Grzegorz, 1990, FORMALIZ MATH, V1, P711

[8]

Bancerek Grzegorz, 1996, FORMALIZED MATH, V5, P485

[9]

Bylinski C., 1990, FORMALIZED MATH, V1, P55

[10]

Bylinski Czeslaw, 1990, FORMALIZED MATH, V1, P153