Download PDFOpen PDF in browser

Marking Solvable Variables

EasyChair Preprint no. 6339

15 pagesDate: August 22, 2021


The places of solvable variables are marked by a special function symbol. After they are substituted, a transformation is applied to make the result independent of it for generality.

Keyphrases: lambda calculus, logic, non-determinism, Recursive specifications, The most general substitution

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Murat Sinan Aygün},
  title = {Marking Solvable Variables},
  howpublished = {EasyChair Preprint no. 6339},

  year = {EasyChair, 2021}}
Download PDFOpen PDF in browser