Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Computer languageExplicit substitutionMetasyntactic variableObject language

Broader (1)

Syntax (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Improving prediction models applied in systems monitoring natural hazards and machinery
Improving prediction models applied in systems monitoring natural hazards and machinery A method of combining three analytic… 
2007
2007
Inferring Local (Non-)Aliasing and Strings for Memory Safety 1
A guide beam and tracking system for steering a flying body toward a target in accordance with the beam rider principle, is… 
Review
2005
Review
2005
Relating Proof Systems for Recursive Types
Proof Systems The purpose of this appendix is to formally underpin the results concerning derivability and admissibility of… 
1999
1999
Automating Inductive Specification Proofs
We present an automatic method which combines logical proof search and rippling heuristics to prove specifications. The key idea… 
Review
1994
Review
1994
Generating Uniform User-Interfaces for Interactive Programming Environments
representation of application domain 57 and the computational component o ers a set of semantic operations on these terms. Note… 
1993
1993
The Semantics of Noun Phrase Anaphora
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
1988
1988
The Determinants of Rice Variety Choice in Indonesia
This paper investigates the determinants of rice seed variety choice in Indonesia with respect to a meta-profit function… 
1978
1978
A type-free Gödel interpretation
In 1930, A. Heyting first specified a formal system for part of intuitionistic mathematics. Although his rules were presumably… 
1961
1961
A syntactical chart of ALGOL 60
60 The definitive description of the syntax of ALGOL 60 is tO be found in the "Report on the Algorithmic Language ALGOL 60… 
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)