Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
Math
-
$2$, 31(1)1--9, 64(8)1611--1662
-
$6$, 62(3)301--329
-
$ \alpha x_1 + \cdots + \alpha x_p \doteq_{AC} \beta y_1 + \cdots + \beta y_q $,
8(1)39--44
-
$ \boldsymbol {\cal BC \"
- D \"
- L} $, 44(4)371--399
-
$ \boldsymbol \mathcal {ALC} $, 46(1)43--80, 49(4)551--582
-
$ \boldsymbol \mathcal {SHOIQ} $, 40(2)89--116, 40(4)357--357
-
$ \delta $, 13(2)211--221, 38(1)31--56
-
$E$, 21(2)205--231, 30(2)121--151, 39(1)77--106
-
$ \exists^* \forall^* $, 65(3)357--423
-
$ \forall \exists $, 21(2)233--275
-
\input bibnames.sty # \hyphenation{ } # \ifx \undefined \boldsymbol \let \boldsymbol = \relax \fi # \ifx \undefined \booktitle \def \booktitle #1{{{\em #1}}} \fi # \ifx \undefined \k \let \k = \c \fi # \ifx \undefined \mathbb \def \mathbb #1{{\bf #1}} \fi # \ifx \undefined \mathcal \def \mathcal #1{{\cal #1}} \fi # \ifx \undefined \mathfrak \def \mathfrak #1{{\bf #1}} \fi # \ifx \undefined \mathsf \def \mathsf #1{{\sf #1}} \fi # \ifx \undefined \varvec \def \varvec #1{\hbox{\boldmath $#1$}} \fi},
0(0)0--0
-
$k$, 35(1)181--200, 37(4)261--276, 65(7)971--999
-
$ K_{(m)} $, 28(2)173--204
-
$ {\L } \aleph_0 $, 27(2)141--156
-
$ \lambda $, 4(2)173--190, 4(3)269--286
-
$ \mathcal {BEL} $, 58(1)67--95
-
$ {\mathcal {EL}} $, 47(4)427--450
-
$ \mathcal {SHOIQ} $, 39(3)249--276
-
$ \mathsf {K}_n $, 64(3)461--484
-
$ \mu $, 19(2)143--171
-
$n$, 48(3)391--417
-
$ O(n \log n)$, 27(3)297--311
-
$ \pi $, 61(1)33--71, 65(1)75--124
-
$ \pi_4 (\mathbb {S}^3) $, 63(2)255--284
-
$Q$, 63(1)127--155
-
$ {\rm DL}(\mathcal {ALCS})5_m $, 63(3)539--555
-
$ \Sigma $, 65(4)521--567
-
$T$, 22(4)433--483
-
$ \varvec { = } $, 60(2)157--176
-
$ \varvec {+} $, 60(2)157--176
-
$Z$, 3(4)437--451, 5(2)141--165