In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Roy L. Crole
- Theor. Comput. Sci.
- 2012

Programming languages and logics, which are pervasive in Computer Science, have syntax which involves variable binding… (More)

Is this relevant?

2012

2012

- Marek Sikora, Beata Sikora
- Applied Mathematics and Computer Science
- 2012

A method of combining three analytic techniques including regression rule induction, the k-nearest neighbors method and time… (More)

Is this relevant?

2011

2011

- Murdoch James Gabbay
- Mathematical Structures in Computer Science
- 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

- Bernd R. Schuh
- ArXiv
- 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

- David Sankoff
- 2008

What we may call ‘the sociolinguistic method’ is neither new to sociolinguistics, nor universally adhered to by sociolinguists… (More)

Is this relevant?

2005

2005

- Andrew A. Cooper, John T. Hale
- DiSS
- 2005

The development of a disfluency-robust speech parser requires some insight into where disfluencies occur in spontaneous spoken… (More)

Is this relevant?

2002

2002

- John B. Haviland
- 2002

Starting with naturally occurring (proto) pointing gestures of two infants, I examine the role and nature of early gesture in… (More)

Is this relevant?

1996

1996

- Ina Kraan, David A. Basin, Alan Bundy
- Journal of Automated Reasoning
- 1996

We develop two applications of middle-out reasoning in inductive proofs: logic program synthesis and the selection of induction… (More)

Is this relevant?

1994

1994

- Amy P. Felty, Douglas J. Howe
- CADE
- 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

- Stephan Heilbrunner
- ITA
- 1980

— The solutions offixed-point équations for generalized (infinité) mords have previously been obtained asfrontiers of infinit… (More)

Is this relevant?