Login / Signup

A New Characterisation of AC-Termination and Application.

Jean-Michel Gélis
Published in: CTRS (1994)
Keyphrases