Semantics of MML Query - Ordering

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

Bibliographic Details
Main Author: Bancerek Grzegorz
Format: Article
Language:English
Published: Sciendo 2013-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/forma-2013-0004