Login / Signup

Closed nominal rewriting and efficiently computable nominal algebra equality

Maribel FernándezMurdoch James Gabbay
Published in: LFMTP (2010)
Keyphrases
  • efficiently computable
  • upper bound
  • query language
  • sufficient conditions