Login / Signup

Soundness of Rewriting Induction Based on an Abstract Principle.

Takahito Aoto
Published in: Inf. Media Technol. (2008)
Keyphrases