Skip to search formSkip to main contentSkip to account menu

Free variables and bound variables

Known as: Free variables, Variable binding operator, Apparent variable 
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation… 
Wikipedia (opens in a new tab)

Related topics

Related topics

40 relations
Abstract syntax treeAssociation listCombinatory logicComputable function

Broader (1)

Computer programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Artificial Tune of Fuel Ratio: Design a Novel SISO Fuzzy Backstepping Adaptive Variable Structure Control
This paper examines single input single output (SISO) chattering free variable structure control (VSC) which controller… 
2005
2005
Adsorption of CO on PtBi2 and PtBi surfaces
Highly Cited
2003
Highly Cited
2003
A Middleware-Based Application Framework for Active Space Applications
Ubiquitous computing challenges the conventional notion of a user logged into a personal computing device, whether it is a… 
2003
2003
Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method
In the past, Ant Colony Optimization (ACO) methods were used to solve combinatorial optimization problems such as the well-known… 
1998
1998
An efficient approach to decomposition of multi-output Boolean functions with large sets of bound variables
Finding appropriate bound sets of variables is the most important task of functional decomposition. When solving some problems… 
Highly Cited
1993
Highly Cited
1993
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux
In this paper we have a closer look at one of the rules of the tableau calculus presented in [3], called the δ-rule, and the… 
Highly Cited
1992
Highly Cited
1992
Further studies on the potentiometric salicylate response of polymeric membranes doped with tin(IV)-tetraphenylporphyrins
1992
1992
An Improved Method for Adding Equality to Free Variable Semantic Tableaux
Tableau-Based theorem provers can be extended to cover many of the nonclassical logics currently used in AI research. For both… 
Review
1991
Review
1991
Disunification: A Survey.
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and… 
Highly Cited
1988
Highly Cited
1988
A method of delay fault test generation
The authors propose an efficient deterministic method of delay fault test generation. For most common circuits, the proposed… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)