Index file section Math for toplas.bib
Last update: Sat Oct 12 02:04:31 MDT 2024
Return to index directory
Math
-
$^*$, 37(3)9--9
-
$^+$, 3(4)508--532, 37(3)8--8, 37(3)9--9
-
$ - 1$, 23(1)73--103
-
$0$, 23(1)73--103
-
$ 0 <= D \bmod d < d $, 14(2)127--144
-
$ 0.0, 1.0 $, 31(1)4--4
-
$1$, 23(1)73--103
-
$ 10 \times $, 41(3)15--15
-
$ 10^{1300} $, 16(5)1512--1542
-
$2$, 25(4)401--451
-
$_2$, 31(3)9--9
-
$ 25 \times $, 41(3)15--15
-
$ 2^w $, 36(4)11--11
-
$3$, 24(3)217--298
-
$^3$, 40(3)11--11
-
$_3$, 31(3)9--9
-
$ 5.90 \times $, 41(3)19--19
-
$A$, 34(3)12--12
-
$ \alpha $, 30(5)26--26
-
$ \alpha (n)$, 23(1)73--103
-
$b$, 9(3)367--389
-
$ \bot \leq t \leq \top $, 20(6)1251--1264
-
$ \Box \Diamond p \mapsto \Box \Diamond q$, 17(1)16--27
-
$C$, 31(4)16--16
-
$c$, 23(2)105--186
-
$ C \triangleright R$, 31(4)16--16
-
$ C \triangleright t $, 31(4)16--16
-
$ \cal R$, 14(3)339--395
-
$ {\cal R}_{\hbox {Lin}}$, 17(4)635--671
-
$ \cdot $, 45(2)7--7
-
$D$, 14(2)127--144, 17(1)157--179, 21(1)138--173
-
$d$, 4(4)711--732, 9(3)367--389, 14(2)127--144, 21(2)240--285
-
$e$, 23(1)73--103
-
$ \ell $, 16(3)939--953
-
$F$, 20(6)1171--1194
-
$f$, 11(4)633--649
-
$ \gamma (v_{\rm KS}) \subseteq \gamma (v_{\rm MOS}) $, 36(4)11--11
-
$ \gamma (w_{\rm MOS}) \subseteq \gamma (w_{KS}) $, 36(4)11--11
-
$h$, 28(2)290--330
-
$i$, 9(3)367--389, 22(1)162--186, 23(1)73--103
-
$j$, 22(1)162--186, 23(1)73--103
-
$K$, 20(1)51--115, 21(1)138--173
-
$ (k) $, 3(1)60--82, 13(1)150--178, 16(3)1051--1077
-
$k$, 4(4)615--649, 9(3)367--389, 13(1)150--178, 15(1)133--181,
16(3)428--455, 17(5)777--803, 20(5)980--1013, 20(6)1171--1194,
22(2)224--264, 33(6)21--21
-
${}_k$, 13(1)150--178
-
$ k > 1$, 13(1)150--178
-
$ k^4$, 33(6)21--21
-
$ K_i$, 17(1)157--179
-
$L$, 16(6)1699--1718, 18(3)254--267
-
$l$, 11(4)633--649
-
$ l = f l$, 11(4)633--649
-
$ l \mbox { where } l = f l$, 11(4)633--649
-
$ \lambda $, 4(3)496--517, 17(3)431--447, 20(2)436--482, 31(6)23--23,
32(2)6--6, 33(1)5--5, 38(4)14--14, 41(4)22--22
-
$ \lambda - \mu \mu \char `{\~}$, 31(4)13--13
-
$ \lambda B $, 42(1)2--2
-
$ \lambda \mu \tilde \mu $, 41(2)8--8
-
$ \lambda_o $, 31(1)4--4
-
$ \langle v, w \rangle $, 35(4)14--14
-
$ L_c $, 32(3)7--7
-
$ l_{ij} $, 23(1)73--103
-
$ l_{ij} = - 1$, 23(1)73--103
-
$m$, 23(1)73--103, 28(2)290--330, 39(1)4--4
-
$ m = 2^w $, 29(5)29--29
-
$ m n $, 34(3)14--14
-
$ m^2 + n^2 $, 34(3)14--14
-
$ \mapsto p$, 17(1)16--27
-
$ \mapsto q$, 17(1)16--27
-
$ \mbox {wp}(C, R)$, 31(4)16--16
-
$ m_i $, 34(3)14--14
-
$ \mu $, 27(6)1270--1343, 33(5)15--15, 36(1)2--2, 39(1)4--4
-
$N$, 14(3)417--461, 18(1)30--72, 20(1)51--115
-
$n$, 4(3)382--401, 4(4)758--762, 9(3)408--440, 15(5)745--770,
23(1)73--103, 28(2)290--330, 30(4)23--23, 33(6)21--21, 34(3)14--14,
39(1)4--4
-
$ n \geq t > 0 $, 4(3)382--401
-
$O$, 9(3)408--440
-
$ O - \log n$, 9(3)408--440
-
$ O(\log n)$, 23(1)73--103
-
$ O(m n) $, 39(1)4--4
-
$ \omega $, 20(6)1171--1194, 31(3)10--10
-
$ O(N)$, 18(1)30--72
-
$ O(n) $, 20(4)845--868
-
$ O(n \log n)$, 4(4)758--762
-
$ O(n \log {n}) $, 4(4)758--762
-
$ O(n, k^4) $, 33(6)21--21
-
$ O(N^2) $, 18(1)30--72
-
$ O(n^2 \log n \alpha (n) + n e)$, 23(1)73--103
-
$ O(n^3) $, 20(4)845--868, 22(5)773--815
-
$ O(v^4) $, 30(1)4--4
-
$ O(w / p + d \log p)$, 21(2)240--285
-
$P$, 22(1)162--186, 32(2)5--5, 32(3)8--8
-
$p$, 16(4)1215--1247, 17(1)16--27, 17(1)157--179, 21(1)138--173,
21(2)240--285, 35(4)14--14, 36(2)5--5
-
$ P_{{ CLP }} $, 32(3)8--8
-
$ p_1$, 16(4)1215--1247
-
$ p_1, p_2$, 16(4)1215--1247
-
$ p_2$, 16(4)1215--1247
-
$_\parallel $, 24(2)153--191
-
$ \phi $, 17(1)157--179, 17(3)487--506, 27(3)426--440
-
$ \pi $, 19(6)899--915, 25(5)549--577, 32(4)12--12, 32(4)14--14,
32(5)16--16, 33(1)5--5, 34(2)8--8
-
$ \Pi \equiv 1 / 2 \Pi + 1 / 2 \Pi $, 32(6)22--22
-
$ p(x, y) = p_2 (p_1 (x), y)$, 16(4)1215--1247
-
$q$, 17(1)16--27
-
$ (R) $, 14(3)339--395
-
$R$, 14(3)339--395, 18(5)564--614, 31(4)16--16
-
$^r$, 41(4)20--20
-
$r$, 34(4)16--16
-
$_{Ref}$, 40(4)16--16
-
$\rightarrow$, 11(4)491--516
-
$_{\rm II}$, 29(2)13--13
-
$ {\rm lsp} $, 36(3)9--9
-
$ {\rm pr} $, 36(3)9--9
-
$ {\rm st} $, 36(3)9--9
-
$ {\rm st}^{O ({\rm lsp} + \lceil log ({\rm pr} + 1) \rceil)} $,
36(3)9--9
-
$ R_{\mbox {Lin}}$, 17(4)635--671
-
$s$, 20(6)1251--1264, 22(1)162--186
-
$ s \leq t $, 20(6)1251--1264
-
$ S_1$, 21(1)138--173
-
$ S_1 + O(K \cdot D \cdot p)$, 21(1)138--173
-
$ \subseteq $, 31(3)10--10
-
$ \sum_{i, j \leq n} m_i m_j $, 34(3)14--14
-
$T$, 13(2)237--268
-
$t$, 4(3)382--401, 16(4)1117--1155, 20(6)1251--1264, 22(1)162--186,
31(4)16--16
-
$ \tau_1 $, 39(1)4--4
-
$ \tau_1 \leq \tau_2 $, 39(1)4--4
-
$ \tau_2 $, 39(1)4--4
-
$ \times $, 35(1)3--3, 38(3)12--12, 40(4)14--14, 41(1)1--1
-
$^{TM}$, 25(6)713--775
-
$u$, 29(5)29--29
-
$v$, 13(2)237--268, 30(1)4--4, 35(4)14--14
-
$ v_{\rm KS} $, 36(4)11--11
-
$ v_{\rm MOS} $, 36(4)11--11
-
$w$, 19(3)462--491, 21(2)240--285, 35(4)14--14
-
$ w > 1 $, 29(5)29--29
-
$ w / d p \log p$, 21(2)240--285
-
$ w_1^*, \ldots {},_n^* $, 36(3)9--9
-
$ w_{KS} $, 36(4)11--11
-
$ w_{\rm MOS} $, 36(4)11--11
-
$X$, 13(1)124--149
-
$x$, 9(3)367--389, 16(4)1215--1247
-
$ \{ x : \alpha {\rm Stack} | {\rm not} ({\rm empty} x) \} $,
39(1)3--3
-
$ \{ x : {\rm Int} | x > 0 \} $, 39(1)3--3
-
$ x, y$, 16(4)1215--1247
-
$Y$, 13(1)124--149
-
$y$, 16(4)1215--1247
-
$ Z \cup \{ r \} $, 34(4)16--16
-
$ Z_m $, 29(5)29--29