Marking Solvable Variables

EasyChair Preprint 6339

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

@booklet{EasyChair:6339,
  author    = {Murat Sinan Aygün},
  title     = {Marking Solvable Variables},
  howpublished = {EasyChair Preprint 6339},
  year      = {EasyChair, 2021}}