Semantics of MML Query

被引：1

作者：

Bancerek, Grzegorz ^{[1
]}

机构：

[1] Bialystok Tech Univ, Bialystok, Poland

来源：

FORMALIZED MATHEMATICS | 2012年 / 20卷 / 02期

关键词：

D O I：

10.2478/v10037-012-0017-x

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In the paper the semantics of MML Query queries is given. The formalization is done according to [4].

引用

页码：147 / 155

页数：9

共 50 条

[1] Semantics of MML Query - Ordering
Bancerek, Grzegorz
[J]. FORMALIZED MATHEMATICS, 2013, 21 (01): : 41 - 46
[2] A Classification of Elements of Function Space F(<mml:semantics>R</mml:semantics>,<mml:semantics>R</mml:semantics>)
Soltanifar, Mohsen
[J]. MATHEMATICS, 2023, 11 (17)
[3] Conversion of Unweighted Graphs to Weighted Graphs Satisfying Properties <mml:semantics>R</mml:semantics> and <mml:semantics>-SR</mml:semantics>
Shi, Xiaolong
Hameed, Saira
Akhter, Sadia
Khan, Aysha
Akhoundi, Maryam
[J]. AXIOMS, 2023, 12 (11)
[4] <mml:semantics><mml:msup>D*</mml:msup></mml:semantics> Polarization as an Additional Constraint on New Physics in the b → cτ<mml:semantics>ν<mml:mo stretchy="false"><overbar></mml:mover></mml:semantics>τ Transition
Ivanov, Mikhail A.
Koerner, Juergen G.
Santorelli, Pietro
Tran, Chien-Thang
[J]. PARTICLES, 2020, 3 (01) : 193 - 207
[5] On the Covering Radius of Codes over <mml:semantics>Z<mml:msup>pk</mml:msup></mml:semantics>
Cruz, Mohan
Durairajan, Chinnapillai
Sole, Patrick
[J]. MATHEMATICS, 2020, 8 (03)
[6] Statistical Submanifolds Equipped with <mml:semantics>F</mml:semantics>-Statistical Connections
Peyghan, Esmaeil
Nourmohammadifar, Leila
Mihai, Ion
[J]. MATHEMATICS, 2024, 12 (16)
[7] Lax Extensions of Conical <mml:semantics>I</mml:semantics>-Semifilter Monads
Zhang, Gao
Zhang, Shao-Qun
[J]. AXIOMS, 2023, 12 (11)
[8] Fractional Operators and Fractionally Integrated Random Fields on <mml:semantics>Z</mml:semantics>ν
Pilipauskaite, Vytaute
Surgailis, Donatas
[J]. FRACTAL AND FRACTIONAL, 2024, 8 (06)
[9] Finite-Approximate Controllability of <mml:semantics>ν</mml:semantics>-Caputo Fractional Systems
Awadalla, Muath
Mahmudov, Nazim I.
Alahmadi, Jihan
[J]. FRACTAL AND FRACTIONAL, 2024, 8 (01)
[10] Approximation of Functions of the Classes <mml:semantics>Cβψ<mml:msup>Hα</mml:msup></mml:semantics> by Linear Methods Summation of Their Fourier Series
Kharkevych, Yurii
Kal'chuk, Inna
[J]. AXIOMS, 2023, 12 (11)

← 1 2 3 4 5 →