Logowanie
Zarejestruj się
Zresetuj hasło
Publikuj i Dystrybuuj
Rozwiązania Wydawnicze
Rozwiązania Dystrybucyjne
Dziedziny
Publikacje
Czasopisma
Książki
Materiały konferencyjne
Wydawcy
Blog
Kontakt
Wyszukiwanie
Koszyk
EUR
USD
GBP
Polski
English
Deutsch
Polski
Español
Français
Italiano
Home
Czasopisma
Formalized Mathematics
Tom 21 (2013): Zeszyt 1 (January 2013)
Otwarty dostęp
Semantics of MML Query - Ordering
Grzegorz Bancerek
Grzegorz Bancerek
| 23 sie 2013
Formalized Mathematics
Tom 21 (2013): Zeszyt 1 (January 2013)
O artykule
Poprzedni artykuł
Następny artykuł
Abstrakt
Referencje
Autorzy
Artykuły w tym zeszycie
Podgląd
PDF
Zacytuj
Udostępnij
Data publikacji:
23 sie 2013
Zakres stron:
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]