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
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… 
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… 
Highly Cited
1999
Highly Cited
1999
The Integrin avb6 Binds and Activates Latent TGFb1: A Mechanism for Regulating Pulmonary Inflammation and Fibrosis
Summary The mechanisms involved in activating latent TGFb are not fully understood, but recently there has been Transforming… 
Highly Cited
1996
Highly Cited
1996
PREPARING AN ION EXCHANGE RESIN FROM SUGARCANE BAGASSE TO REMOVE REACTIVE DYE FROM WASTEWATER
uaternized cellulose, a strong an-ion exchange resin, can be used to remove reactive dyes from dyehouse wastewater, thus… 
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
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… 
Highly Cited
1985
Highly Cited
1985
Functional programing and the logical variable
Logic programming offers a variety of computational effects which go beyond those customarily found in functional programming… 
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)