Login / Signup

Relational and algebraic methods in computer science.

Wolfram KahlTimothy G. GriffinPeter Höfner
Published in: J. Log. Algebraic Methods Program. (2015)
Keyphrases