Metavariable

Known as: Meta-variable, Schematic variable, Metamathematical variable 
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1978-2018
02419782018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Programming languages and logics, which are pervasive in Computer Science, have syntax which involves variable binding… (More)
  • figure 1
Is this relevant?
2012
2012
A method of combining three analytic techniques including regression rule induction, the k-nearest neighbors method and time… (More)
  • figure 1
  • table 1
  • table 4
  • figure 3
  • figure 2
Is this relevant?
2011
2011
Nominal sets are a sets-based first-order denotation for variables in logic and programming. In this paper we extend nominal sets… (More)
Is this relevant?
2009
2009
For formulas F of propositional calculus I introduce a "metavariable" MF and show how it can be used to define an algorithm for… (More)
Is this relevant?
2008
2008
What we may call ‘the sociolinguistic method’ is neither new to sociolinguistics, nor universally adhered to by sociolinguists… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
The development of a disfluency-robust speech parser requires some insight into where disfluencies occur in spontaneous spoken… (More)
  • figure 2
  • table 4
  • table 1
  • table 2
  • table 5
Is this relevant?
2002
2002
Starting with naturally occurring (proto) pointing gestures of two infants, I examine the role and nature of early gesture in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
1996
1996
We develop two applications of middle-out reasoning in inductive proofs: logic program synthesis and the selection of induction… (More)
  • table I
Is this relevant?
1994
1994
This paper describes a prototype of a programmable interactive theorem-proving system. The main new feature of this system is… (More)
Is this relevant?
1980
1980
— The solutions offixed-point équations for generalized (infinité) mords have previously been obtained asfrontiers of infinit… (More)
Is this relevant?