### Table 7 Rodrigues Formula Computation of Tn(x) n Axiom Macsyma18 Maple Mathematica MuPAD REDUCE Maple (forget)19

1997

Cited by 2

### Table 1. { and {type formulas

"... In PAGE 1: ... Semantic tableaux for classical logic come in two versions, signed and unsigned, from which we choose the latter. In Table1 we have summarized { and {type... ..."

### Table 1. Grammar for formulas

1997

"... In PAGE 2: ... A program in this language is entirely deter- mined by the collection of cell formulas. The grammar for the formulas in this subset is shown in Table1 . Type issues are ignored in this grammar because most form-based lan- guages are dynamically typed; therefore, the above syntax is accepted regardless of types.... ..."

Cited by 13

### Table 1. Grammar for formulas

1997

"... In PAGE 2: ... A program in this language is entirely deter- mined by the collection of cell formulas. The grammar for the formulas in this subset is shown in Table1 . Type issues are ignored in this grammar because most form-based lan- guages are dynamically typed; therefore, the above syntax is accepted regardless of types.... ..."

Cited by 13

### Table 2. Correspondence between formulae and rule types.

"... In PAGE 11: ... This classification is motivated by the tableau expansion rules which are associated with each (non-literal) formula. DEFINITION 33 The non-literal formulae in Form are assigned a type accord- ing to Table2 . A formula of type 2 f ; ; ; g is called a -formula.... ..."

### Table 1. Example formulas

"... In PAGE 13: ...ig.4. Results of performance measurement (Pentium M 1.8 GHz, Linux, 1024MB memory) 6 Experiments Table1 summarizes the formulas we used in experiments. Most of formulas are ob- tained from XSLT type check problems.... ..."

### Table 1. Principal types and polarities of formulas

1997

Cited by 13

### Table 4. Filter Formulas

1995

"... In PAGE 3: ... Tables 8 and 9 deleted. New Table4 inserted with Filter Formulas. Table 5 updated to be consistent with the other tables.... In PAGE 3: ... single table, Table 3. Tables 8 and 9 deleted. New Table 4 inserted with Filter Formulas. Table 5 updated to be consistent with the other tables. Old Table4 and 6 deleted because information is contained in Table 5. Old Table 10 (New Table 8) reworked for clarity.... In PAGE 29: ... The filter implementations used here were selected for their ability to compactly define an explicit and reasonable implementation, not to suggest an optimum implementation for a given modulation type. Formulas also are provided for use in simulations in Table4... In PAGE 109: ....6.3.1 If the receiver IF response is known, calculate a receiver response table using the formulas from Appendix-A, Table4 and the parameters from Table 3. C.... ..."