Index file section N for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
N
-
n, 92(1)87--105, 108(1)45--82, 120(2)215--227, 132(1)1--35
-
n, S-m-, 123(2)199--237
-
n-bit, 107(1)121--133, 129(2)407--417
-
n-code, 96(2)325--344
-
n-element, 96(2)325--344
-
n-input, 100(1)253--265
-
n-queens, 112(1)53--97
-
N-resolution, 93(1)159--167
-
n-vertex, 73(1)91--100, 106(2)265--281
-
NaDSet, 111(1)211--252, 111(1)253--290
-
NAF, 120(1)83--99
-
NAF-rule, 97(1)143--156
-
naive, 136(2)507--526
-
Nakamura, A., 88(1)151--170
-
Nakamura, A., see Aizawa, K.
-
name, call-by-, 83(1)57--69, 129(1)79--94
-
Namely, 120(2)197--213
-
naming, 95(1)169--185
-
Nanni, U., 72(2)97--117, 95(2)245--261
-
Nanni, U., see Ausiello, G.
-
Nanni, Umberto, 108(2)371--384
-
Nanni, Umberto, see d'Amore, Fabrizio
-
Nardelli, E., 84(1)107--126
-
Nardelli, E., see Gambosi, G.
-
Narendran, P., 81(2)169--187, 113(1)119--165
-
Narendran, P., see Kapur, D.,
see Madlener, K.
-
Narendran, Paliath, 134(1)175--188
-
Narendran, Paliath, see Otto, Friedrich
-
narrowing, 72(2)133--146, 72(2)z--z, 75(1)111--138, 107(2)209--252
-
nationality, 98(1)79--97
-
natural, 70(1)35--64, 70(1)65--72, 70(1)85--97, 70(2)233--250,
77(3)237--247, 81(2)201--221, 85(2)333--351, 87(1)25--41,
87(1)43--80, 87(1)189--202, 88(1)83--98, 88(2)191--229,
89(1)161--177, 91(1)23--55, 95(1)115--142, 97(2)183--198,
98(2)289--319, 102(1)1--134, 104(2)235--261, 104(2)299--312,
110(2)249--339, 111(1)145--189, 115(1)3--41, 115(1)151--189,
116(1)33--57, 123(1)31--53, 123(1)131--137, 127(2)351--386,
133(2)205--265, 134(2)537--544, 136(1)57--78
-
natural-deduction-based, 111(1)211--252, 111(1)253--290
-
nature, 107(2)333--347
-
Naughton, Jeffrey F., 116(1)195--226
-
Naughton, Jeffrey F., see Lipton, Richard J.
-
NC, 71(3)401--411, 116(1)95--116, 125(2)295--313, 130(1)203--236
-
NC-hierarchy, 107(1)77--94
-
NC/sup, 79(1)25--35, 127(1)99--121, 131(2)441--448
-
Ndoundam, R., 136(2)527--532
-
Ndoundam, R., see Kiwi, M. A.
-
near-perfect, 132(1)347--375
-
nearly, 92(2)319--336, 123(1)89--94
-
necessary, 83(1)57--69, 88(2)269--285, 93(2)185--199, 93(2)279--301,
94(1)101--124, 95(2)307--321, 100(2)267--302, 103(1)39--49,
129(1)123--142
-
necessity, 100(1)157--184, 111(1)191--210
-
necklaces, 102(2)355--365
-
Nederpelt, Rob, 136(1)183--216
-
Nederpelt, Rob, see Kamareddine, Fairouz
-
need, 95(1)75--95
-
negated, 93(1)115--141
-
negation, 78(1)3--83, 78(1)85--112, 78(1)159--187, 78(1)189--216,
78(1)z--z, 102(1)207--214, 105(1)27--56
-
negation-as-failure, 94(2)281--294
-
negative, 72(2)147--167, 93(1)159--167, 93(2)265--277, 118(2)263--299,
134(2)473--491
-
negligible, non-, 128(1)179--210
-
neighborhood, 134(2)387--401
-
neighborhoods, in-, 80(2)227--262
-
neighboring, 74(1)19--35
-
neighbourhoods, 93(1)143--157
-
Nemeti, I., 80(2)125--151
-
Nemeti, I., see Andreka, H.
-
Nepejvoda, N. N., 90(1)253--270
-
Nepejvoda:1991:BBC, 90(1)253--270
-
Nepomniaschy, V. A., 119(1)173--185
-
Nepomniaschy:1993:POV, 119(1)173--185
-
Neraud, J., 92(1)145--164, 99(2)231--241
-
Néraud, Jean, 112(2)311--337
-
Neraud:1992:RSF, 99(2)231--241
-
Neraud:1992:SMI, 92(1)145--164
-
Neraud:1993:DWF, 112(2)311--337
-
Nerode, 76(2)261--271
-
Nerode-like, Myhill-, 125(2)361--371
-
Nesetril, J., 70(2)251--260
-
Nesetril, J., see Gambosi, G.
-
nested, 87(2)263--286, 99(1)157--176, 127(1)149--170
-
net, 71(1)133--153, 74(1)71--93, 74(2)199--216, 77(3)321--330,
80(1)1--34, 80(1)77--104, 80(2)263--288, 80(2)337--345,
82(2)341--372, 91(2)205--238, 91(2)285--313, 93(2)185--199,
95(1)159--168, 96(1)3--33, 96(1)175--215, 96(1)z--z, 96(2)285--304,
98(2)199--247, 99(1)79--104, 101(2)161--176, 102(1)165--183,
102(1)185--205, 103(1)51--106, 103(2)335--363, 104(2)207--233,
109(1)257--274, 113(2)231--258, 113(2)371--375, 114(1)93--118,
115(1)3--41, 122(1)165--200, 124(1)169--179, 127(1)149--170,
131(2)331--360, 132(1)113--128, 134(1)51--61, 134(1)87--105,
135(1)111--137, 135(1)z--z, 135(2)361--376, 135(2)377--404,
182(1)257--257
-
nets, P/T-, 96(1)175--215
-
network, 73(1)61--79, 74(1)19--35, 75(3)357--363, 76(2)331--341,
80(2)337--345, 84(1)23--52, 86(2)343--364, 87(1)43--80,
90(2)355--367, 91(1)57--69, 91(2)129--179, 100(1)223--241,
102(2)329--354, 102(2)355--365, 104(2)285--298, 107(2)305--332,
108(2)291--310, 116(2)359--371, 116(2)415--419, 120(2)215--227,
120(2)261--278, 124(2)329--342, 125(1)45--59, 125(1)61--90,
125(1)111--130, 125(1)149--165, 125(2)373--383, 127(2)313--332,
127(2)395--402, 128(1)31--62, 128(1)63--74, 128(1)127--157,
130(1)49--72, 130(1)73--84, 130(1)175--201, 131(2)331--360,
132(1)113--128, 134(1)51--61
-
network-stability, 130(1)203--236
-
Neumann, 134(2)387--401
-
Neumann, Malcev-, 98(1)79--97, 98(1)z--z
-
neural, 80(2)337--345, 131(2)331--360, 132(1)113--128, 134(1)51--61,
182(1)257--257
-
new, 71(1)29--45, 71(1)79--93, 71(2)209--226, 71(2)265--279,
80(2)289--302, 80(2)303--318, 81(2)201--221, 81(2)237--256,
83(2)169--188, 85(2)305--331, 87(1)43--80, 91(2)205--238,
93(1)91--113, 103(2)283--309, 104(1)109--128, 117(1)289--301,
118(1)81--98, 119(1)23--38, 121(1)71--88
-
NewHeap, 84(1)107--126
-
Newman, I., 107(1)63--76
-
Newman, I., see Heiman, R.
-
Newton, 88(2)313--324, 133(1)65--84
-
NEXP, 129(2)309--321
-
NEXP, co-, 83(2)337--343
-
NEXPTIME-hard, 135(1)139--153
-
Ng, David T. H., 119(2)355--361
-
Ng, David T. H., see Oommen, B. John
-
Ngo, Viet, 80(1)105--115
-
Ngo, Viet, see Powell, P.
-
nice, 123(1)9--19
-
Nicola, R., De, 75(3)223--262, 96(1)1--z
-
Nicola, Rocco De, 114(1)63--91
-
Nicola, Rocco De, see Degano, Pierpaolo
-
Nie, X., 133(2)307--340
-
Nie, X., see Kapur, D.
-
Nielsen, M., 96(1)3--33
-
Nielsen:1992:ETS, 96(1)3--33
-
Nielson, F., 70(1)99--126
-
Nielson, F., see Nielson, H. R.
-
Nielson, H. R., 70(1)99--126
-
Nielson:1990:FCM, 70(1)99--126
-
Nirmal, N., 87(2)329--346
-
Nirmal:1991:MCE, 87(2)329--346
-
Nisan, N., 107(1)121--133, 107(1)135--144
-
Nisan, N., see Mansour, Y.
-
Nisan:1993:ROV, 107(1)135--144
-
Nishimura, Naomi, 123(2)415--426
-
Nishimura:1994:RCP, 123(2)415--426
-
Nivat, 97(2)245--262, 98(1)27--39
-
Nivat, M., 86(2)277--323, 110(2)247--z, 130(2)237--z
-
Nivat, M., see Gire, F.
-
Nivat:1993:EIT, 110(2)247--z
-
Nivat:1994:GIT, 130(2)237--z
-
NL, 88(1)99--116, 129(2)323--336
-
NLC, 73(3)279--294
-
NLOGSPACE, 130(1)203--236
-
NLP, 104(2)235--261
-
node, 70(3)305--342, 73(3)279--294, 80(2)153--202, 82(1)95--111,
84(2)281--292, 84(2)293--311, 89(1)33--62, 90(1)185--198,
93(2)245--264, 116(2)359--371, 127(2)199--228, 128(1)241--252
-
node-labeled, 125(2)259--293
-
node-labelled, 114(1)63--91
-
node-replacement, 88(1)151--170
-
noetherian, 74(1)3--18, 88(2)269--285
-
noetherianity, 93(2)321--325
-
Nogi, K., 90(1)61--79
-
Nogi, K., see Futamura, Y.
-
noise, 129(2)279--291
-
Nolte, D., 97(1)131--142, 99(1)121--140
-
Nolte, D., see Darondeau, P., \see{Priese, L.
-
nombre, 123(1)89--94
-
non-commutative, 79(1)111--135, 134(1)131--173
-
non-computable, 73(3)313--317
-
non-context-free, 98(2)289--319, 132(1)71--84
-
Non-deterministic, 75(3)289--309
-
non-erasing, 76(2)243--250
-
non-existent, 121(1)441--448
-
non-Horn, 78(1)245--259, 78(1)z--z
-
non-negligible, 128(1)179--210
-
non-polynomial, 73(1)1--46
-
Non-repetitive, 72(1)39--53
-
non-trivial, 83(2)169--188
-
non-unique, 134(2)287--309
-
nonacceptability, 83(2)249--260
-
nonadaptive, 82(1)51--69
-
nonambiguous, 74(3)341--354
-
nonanonymous, 81(2)237--256
-
nonassociative, 107(1)31--61
-
nonatomic, 107(2)333--347
-
nonbacktracking, 132(1)347--375
-
noncircularity, 119(1)3--22
-
nonclairvoyant, 130(1)17--47
-
nonclassical, 77(1)161--194
-
nonclosure, 132(1)243--258
-
noncommutative, 79(1)111--135, 79(1)151--162, 79(1)179--193,
79(1)195--207, 79(1)257--261, 98(1)53--63, 98(1)99--114,
117(1)255--272, 117(1)z--z, 127(2)269--286, 134(1)131--173
-
noncommuting, 79(1)25--35, 79(1)163--177, 98(1)5--13
-
nonconstructive, 103(2)395--408
-
noncontext-free, 98(2)289--319
-
noncounting, 100(1)67--104
-
noncrossing, 117(1)137--151
-
nondegenerate, 133(1)65--84
-
nondeleting, 134(2)311--328
-
nondeterminacy, 124(2)273--295
-
nondeterminant, 113(2)231--258
-
nondeterminism, 87(1)189--202, 91(1)23--55, 98(1)15--25, 98(1)z--z,
99(2)243--264, 100(2)365--383, 108(1)83--102, 111(1)125--143,
133(1)35--47, 133(2)205--265
-
nondeterministic, 74(1)115--119, 74(2)217--225, 75(3)289--309,
77(3)221--235, 78(1)137--158, 81(2)317--324, 82(1)141--149,
82(2)389--402, 84(2)165--177, 85(1)53--74, 85(2)305--331,
88(1)1--14, 88(1)15--32, 88(1)99--116, 88(2)269--285, 88(2)297--311,
90(1)151--170, 91(2)129--179, 93(1)43--74, 97(2)183--198,
101(1)99--132, 101(2)161--176, 103(1)3--23, 106(2)351--360,
107(1)95--120, 107(2)305--332, 108(2)393--400, 115(2)225--241,
118(1)49--65, 118(1)67--79, 119(1)215--222, 120(1)123--155,
120(2)197--213, 125(2)243--257, 125(2)295--313, 127(1)171--179,
129(2)323--336, 129(2)337--367, 132(1)319--336, 133(1)3--14,
133(2)341--359, 134(1)253--262, 134(2)545--557, 135(1)139--153
-
nondeterministic, co-, 106(2)351--360
-
nondistributive, 97(2)263--284
-
nonempty, 81(2)295--304, 95(2)279--305, 129(2)385--396
-
nonerasing, 129(2)419--424
-
nonexistent, 121(1)441--448
-
nonflat, 75(1)15--43
-
noninteractive, 132(1)291--317
-
noninterference, 85(2)283--303
-
noninterleaving, 90(1)127--149, 112(1)5--52
-
nonisomorphic, 123(1)89--94
-
nonisomorphism, 81(1)155--163
-
nonlinear, 71(3)381--400, 79(1)151--162, 79(1)163--177, 79(1)179--193,
82(1)113--129, 116(2)415--419, 121(1)411--440, 123(2)397--406
-
nonmodal, 102(1)207--214
-
nonmonotonic, 87(2)263--286, 107(2)277--303, 114(2)231--245,
114(2)317--330
-
nonnegative, 81(1)137--145
-
nonoverlapping, 103(2)409--420
-
nonprimitive, 125(2)355--360
-
nonrecursive, 116(1)95--116
-
nonrecursiveness, 71(3)425--429
-
nonregular, 75(1)157--215, 85(1)205--212
-
nonrelational, 73(2)213--230
-
nonrepetitive, 72(1)39--53
-
nonself-intersecting, 117(1)227--241
-
nonsort-decreasing, 89(1)3--32
-
nonstandard, 73(2)213--230, 85(2)333--351, 100(2)385--417,
133(1)95--104
-
nonsubsequence, 108(2)365--369
-
nonsyntactic, 73(2)177--211
-
nonterminal, 82(1)95--111
-
nonterminating, 71(3)347--380
-
nontermination, 80(1)77--104, 81(2)169--187, 104(1)29--51
-
nontransient, 86(2)343--364
-
nontrivial, 74(3)253--271, 83(2)169--188, 92(2)291--300, 107(2)357--363,
121(1)351--409, 127(2)229--254
-
nonuniform, 85(2)305--331, 96(2)305--324, 99(2)279--290, 101(1)99--132,
115(2)277--290, 130(1)203--236
-
NOR, 85(1)155--170
-
normal, 79(1)227--239, 87(2)287--313, 94(2)199--213, 95(2)339--340,
97(1)105--130, 97(2)233--244, 104(1)3--28, 105(1)27--56,
107(2)277--303, 120(2)197--213, 121(1)71--88, 129(1)167--186,
131(2)375--414
-
normal, beta-, 107(2)253--276
-
normal, eta-, 107(2)253--276
-
normal, star-, 120(2)197--213
-
normal-form, 125(2)167--204
-
normalisation, 135(1)5--9, 135(1)z--z
-
normalizability, 79(2)365--371
-
normalization, 83(1)3--28, 85(2)333--351, 94(2)223--236, 106(2)183--219,
122(1)263--283, 135(1)11--65, 135(1)67--110, 206(1)353--354
-
normalizing, 106(1)135--181, 110(2)419--432
-
normed, 123(2)183--197, 131(2)441--448
-
Norms, 124(2)297--328
-
not, 88(1)183--189, 118(1)81--98, 119(2)293--310, 120(2)169--195,
125(2)345--353
-
Nota, G., 120(1)45--68
-
Nota:1993:LCT, 120(1)45--68
-
notation, 96(2)325--344
-
note, 70(1)73--83, 73(1)101--112, 78(2)357--362, 83(1)157--167,
88(2)287--296, 94(2)367--371, 95(1)115--142, 108(2)393--400,
112(2)383--390, 112(2)391--397, 123(1)3--7, 127(2)395--402,
131(2)441--448, 132(1)435--444
-
notion, 87(1)115--142, 87(2)347--352, 90(1)253--270, 100(2)267--302,
101(2)265--288, 112(1)99--143, 115(1)77--106, 116(1)59--94,
121(1)59--69, 127(2)351--386, 130(1)203--236
-
not=NP, 88(1)183--189
-
novel, 127(2)199--228, 128(1)3--30
-
NP, 81(2)189--199, 83(2)337--343, 84(2)199--223, 85(1)1--31,
88(1)183--189, 97(2)183--198, 99(2)279--290, 103(1)3--23,
107(1)145--163, 133(1)15--22, 133(1)95--104
-
NP, co-, 134(2)545--557
-
NP-complete, 80(2)203--225, 81(1)49--64, 81(1)65--75, 81(1)155--163,
81(2)257--268, 84(1)23--52, 84(2)179--197, 85(1)205--212,
92(1)145--164, 99(1)157--176, 104(2)185--206, 104(2)285--298,
108(2)365--369, 119(2)293--310, 120(2)311--315, 129(1)95--121,
129(2)309--321, 131(2)361--374, 131(2)449--461, 131(2)463--473,
132(1)229--241, 133(1)85--94, 133(1)95--104, 133(2)421--442,
134(1)209--223, 134(2)263--285, 134(2)287--309, 134(2)387--401,
135(1)155--169, 135(2)361--376
-
NP-complete, co-, 123(2)377--388
-
NP-completeness, 115(2)351--357, 134(2)387--401
-
NP-effectively, 119(2)293--310
-
NP-hard, 75(3)347--355, 80(2)227--262, 97(1)105--130, 103(1)107--135,
110(1)197--214, 115(2)277--290, 120(2)279--291, 123(1)9--19,
131(2)331--360
-
NP-P, 119(2)293--310
-
nPCE, 88(1)151--170
-
NP/log, 99(2)279--290
-
NPO, 107(1)145--163
-
NP/R, 113(2)231--258
-
NRP-completeness, 130(1)203--236
-
nteger, 132(1)337--345
-
NU, 94(2)311--334
-
nu, 80(1)35--51
-
nu-calculus, 83(1)157--167
-
null, 127(2)313--332, 133(2)267--306
-
number, 70(1)65--72, 70(1)85--97, 70(2)233--250, 71(3)425--429,
72(1)3--26, 77(3)237--247, 78(2)377--381, 81(1)49--64,
81(1)147--153, 81(2)311--316, 82(1)71--84, 83(2)219--235,
85(2)333--351, 86(2)325--342, 87(1)25--41, 88(1)171--182,
88(2)313--324, 92(2)249--268, 94(2)161--174, 94(2)223--236,
94(2)261--280, 95(2)307--321, 98(2)163--197, 98(2)249--262,
100(1)105--135, 102(2)307--328, 102(2)355--365, 103(1)137--141,
106(2)327--335, 107(1)3--30, 108(2)385--391, 111(1)145--189,
112(2)391--397, 112(2)399--412, 112(2)419--420, 115(1)151--189,
116(2)421--429, 117(1)113--130, 117(1)303--313, 123(1)89--94,
123(1)95--115, 123(1)139--144, 123(1)145--149, 123(1)z--z,
123(2)291--314, 123(2)389--395, 123(2)427--428, 127(1)1--23,
127(2)333--350, 129(2)263--278, 131(2)431--439, 133(1)85--94,
134(1)209--223, 134(2)537--544
-
number, Godel-, 70(2)193--211
-
numbered, lower-, 99(2)213--230
-
numberings, 110(1)131--144
-
numerals, 135(2)423--431
-
numeration, 94(2)223--236, 106(2)183--219, 121(1)59--69
-
numération, 94(2)223--236
-
numeric, 89(1)33--62
-
numerical, 74(1)95--114, 74(3)253--271, 98(2)163--197, 101(1)133--141,
123(1)89--94, 123(2)291--314, 125(2)329--337, 127(1)99--121,
128(1)179--210, 133(1)65--84
-
Nummenmaa, J., 99(2)213--230
-
Nummenmaa:1992:CCR, 99(2)213--230
-
NUT-system, 71(2)241--264