Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Formalized Mathematics
Édition 21 (2013): Edition 1 (January 2013)
Accès libre
Semantics of MML Query - Ordering
Grzegorz Bancerek
Grzegorz Bancerek
| 23 août 2013
Formalized Mathematics
Édition 21 (2013): Edition 1 (January 2013)
À propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette édition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
23 août 2013
Pages:
41 - 46
DOI:
https://doi.org/10.2478/forma-2013-0004
This content is open access.
Semantics of order directives of MML Query is presented. The formalization is done according to [1]