HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Murat Sinan Aygün

Publications
Marking Solvable Variables
Murat Sinan Aygün
EasyChair Preprint no. 6339

Keyphrases

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

Copyright © 2012-2023 easychair.org. All rights reserved.