## Summary

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

Show Summary Details#### Open Access

## Summary

## About the article

More options …# Formalized Mathematics

### (a computer assisted approach)

More options …

Editor-in-Chief: Matuszewski, Roman

4 Issues per year

SCImago Journal Rank (SJR) 2016: 0.207

Source Normalized Impact per Paper (SNIP) 2016: 0.315

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

[1] Grzegorz Bancerek. Information retrieval and rendering with MML query.

*LNCS*, 4108: 266-279, 2006.Google Scholar[2] Grzegorz Bancerek. Cardinal numbers.

*Formalized Mathematics*, 1(**2**):377-382, 1990.Google Scholar[3] Grzegorz Bancerek. Semantics of MML query.

*Formalized Mathematics*, 20(**2**):147-155, 2012. doi:10.2478/v10037-012-0017-x.CrossrefGoogle Scholar[4] Grzegorz Bancerek. The ordinal numbers.

*Formalized Mathematics*, 1(**1**):91-96, 1990.Google Scholar[5] Grzegorz Bancerek. Increasing and continuous ordinal sequences.

*Formalized Mathematics*, 1(**4**):711-714, 1990.Google Scholar[6] Grzegorz Bancerek. Reduction relations.

*Formalized Mathematics*, 5(**4**):469-478, 1996.Google Scholar[7] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences.

*Formalized Mathematics*, 1(**1**):107-114, 1990.Google Scholar[8] Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions.

*Formalized**Mathematics*, 5(**4**):485-492, 1996.Google Scholar[9] Czesław Bylinski. Functions and their basic properties.

*Formalized Mathematics*, 1(**1**): 55-65, 1990.Google Scholar[10] Czesław Bylinski. Functions from a set to a set.

*Formalized Mathematics*, 1(**1**):153-164, 1990.Google Scholar[11] Czesław Bylinski. Partial functions.

*Formalized Mathematics*, 1(**2**):357-367, 1990.Google Scholar[12] Czesław Bylinski. Some basic properties of sets.

*Formalized Mathematics*, 1(**1**):47-53, 1990. Google Scholar[13] Agata Darmochwał. Finite sets.

*Formalized Mathematics*, 1(**1**):165-167, 1990.Google Scholar[14] Krzysztof Hryniewiecki. Relations of tolerance.

*Formalized Mathematics*, 2(**1**):105-109, 1991.Google Scholar[15] Beata Padlewska. Families of sets.

*Formalized Mathematics*, 1(**1**):147-152, 1990.Google Scholar[16] Zinaida Trybulec. Properties of subsets.

*Formalized Mathematics*, 1(**1**):67-71, 1990.Google Scholar[17] Edmund Woronowicz. Relations and their basic properties.

*Formalized Mathematics*, 1 (**1**):73-83, 1990.Google Scholar[18] Edmund Woronowicz. Relations defined on sets.

*Formalized Mathematics*, 1(**1**):181-186, 1990.Google Scholar[19] Edmund Woronowicz and Anna Zalewska. Properties of binary relations.

*Formalized**Mathematics*, 1(**1**):85-89, 1990. Google Scholar

**Published in Print**: 2013-01-01

**Citation Information: **Formalized Mathematics, Volume 21, Issue 1, Pages 41–46, ISSN (Online) 1898-9934, ISSN (Print) 1426-2630, DOI: https://doi.org/10.2478/forma-2013-0004.

This content is open access.

## Comments (0)