Explicit substitutions in rewriting systems - tutorial and survey [LS-96-3, BRICS ed.]


251 95 1023KB

English Pages 163 Year 1996

Report DMCA / Copyright

DOWNLOAD DJVU FILE

Explicit substitutions in rewriting systems - tutorial and survey [LS-96-3, BRICS ed.]

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up