Semantics of MML Query - Ordering

Grzegorz Bancerek. Semantics of MML Query - Ordering. Formalized Mathematics, 21(1):41-46, 2013. [doi]

Abstract

Abstract is missing.