Download PDFOpen PDF in browser

Marking Solvable Variables

EasyChair Preprint 6339

15 pagesDate: August 21, 2021

Abstract

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: Recursive specifications, The most general substitution, lambda calculus, logic, non-determinism

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:6339,
  author    = {Murat Sinan Aygün},
  title     = {Marking Solvable Variables},
  howpublished = {EasyChair Preprint 6339},
  year      = {EasyChair, 2021}}
Download PDFOpen PDF in browser