Login / Signup

Determinisation of relational substitutions in ordered categories with domain.

Wolfram Kahl
Published in: J. Log. Algebraic Methods Program. (2010)
Keyphrases