Login / Signup

Dependency Pairs for Simply Typed Term Rewriting.

Takahito AotoToshiyuki Yamada
Published in: RTA (2005)
Keyphrases