Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
Carrello
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Home
Riviste
Formalized Mathematics
Volume 21 (2013): Numero 1 (January 2013)
Accesso libero
Semantics of MML Query - Ordering
Grzegorz Bancerek
Grzegorz Bancerek
| 23 ago 2013
Formalized Mathematics
Volume 21 (2013): Numero 1 (January 2013)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
23 ago 2013
Pagine:
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]