### Table 1. Axioms for the algebraic theory of the language

"... In PAGE 14: ...1. The axioms for the algebraic theory of the language are given in Table1 . In the de nition we assume ADSeq(d), ADSeq(di), ASeq(w) and ASeq(wi) for i = 1; 2.... In PAGE 14: ... Note that we do not have an axiom x+y = y +x. This equality is derivable using the axioms in Table1 , in particular, Axiom 1. The axioms in the above de nition are not su cient to prove equality of programs like ha; b; ci and ha; hb; cii.... ..."

### Table 1: Theory stdlang

2003

"... In PAGE 10: ... 4.1 Theory stdlang: Language definitions Table1 summarizes the definitions in theory stdlang.5 Type void intends to serve as the type of procedures and statements, as opposed to functions and expressions.... ..."

### Table 1 Theory definition

"... In PAGE 15: ... We consider theory definition and proof as distinct activities and now consider the errors occurring in each. Data on the number of theories which subjects specified, up to and including the final (correct) theory, is given in Table1 . The data indicate that the task of making a definition is not straightforward, requiring an average of 7 iterations.... In PAGE 15: ... Errors occurring during theory definition are shown in Table 2. Errors of specific types are calculated with respect to the number of corrections (as given in Table1 ) as this corresponds to the number of theory loading actions.2 Object language errors are approxi- mately twice as frequent as metalanguage errors.... ..."

### Table 1. Learning theories and iTV applications

2004

"... In PAGE 5: ... Figure 2. A pedagogical framework for iTV based language learning Table1 provides a summary of the learning theories and approaches, and possible iTV applications that may facilitate language learning. Table 1.... ..."

Cited by 2

### Table 1. Statisticians have developed a large infrastructure (theory) to support their methods and a language (probability calculus) to describe their approach to quantifying the uncertainty associated with drawing inferences from data. These methods enable one to describe relationships between variables for prediction, quantifying e ects, or suggesting causal paths.

### Table 1. Statisticians have developed a large infrastructure (theory) to support their methods and a language (probability calculus) to describe their approach to quantifying the uncertainty associated with drawing inferences from data. These methods enable one to describe relationships between variables for prediction, quantifying effects, or suggesting causal paths.

1996

### Table 1 Dynamic content models for Example 2.

"... In PAGE 6: ...W. Matzen Markup Languages: Theory amp; Practice | Volume 1 No 1 type (Example 2, Table1 ). Definition 6 illustrates how each DCM occurs in specific context with other DCMs.... ..."

### Table 3. Communicating Processes language constructs.

1995

"... In PAGE 30: ... Similar to most of the previous techniques, the source language describes circuits by specifying the required sequences of communications in the circuit. The important language constructs are listed in Table3 . Although the language constructs are somewhat more primitive than most typical software languages, they provide a higher-level abstraction than many of the other systems, including trace theory.... ..."

Cited by 127