Login / Signup

First Steps Towards an Institution of Algebra Replacement Systems.

Martin Große-Rhode
Published in: Appl. Categorical Struct. (1998)
Keyphrases