Login / Signup

Equational Completion in Order-Sorted Algebras (Extended Abstract).

Isabelle GnaedigClaude KirchnerHélène Kirchner
Published in: CAAP (1988)
Keyphrases