Displaying similar documents to “On a multiplicativity up to homotopy of the Gugenheim map.”

Semantics of MML Query

Grzegorz Bancerek (2012)

Formalized Mathematics

Similarity:

In the paper the semantics of MML Query queries is given. The formalization is done according to [4]