Login
Registrieren
Passwort zurücksetzen
Veröffentlichen & Verteilen
Verlagslösungen
Vertriebslösungen
Themen
Veröffentlichungen
Zeitschriften
Bücher
Konferenzberichte
Verlage
Blog
Kontakt
Suche
Warenkorb
EUR
USD
GBP
Deutsch
English
Deutsch
Polski
Español
Français
Italiano
Home
Zeitschriften
Formalized Mathematics
Band 21 (2013): Heft 1 (January 2013)
Uneingeschränkter Zugang
Semantics of MML Query - Ordering
Grzegorz Bancerek
Grzegorz Bancerek
| 23. Aug. 2013
Formalized Mathematics
Band 21 (2013): Heft 1 (January 2013)
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zusammenfassung
Referenzen
Autoren
Artikel in dieser Ausgabe
Vorschau
PDF
Zitieren
Teilen
Online veröffentlicht:
23. Aug. 2013
Seitenbereich:
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]