Index file section N for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
N
-
N, 192(2)201--231
-
n-ary, 147(1)149--163, 197(1)247--z--1
-
n-bit, 182(1)217--232
-
n-body, 197(1)157--169
-
n-dimensional, 187(1)123--145
-
n-free, 175(2)393--406
-
N-process, 179(1)333--351
-
n-processor, 141(1)163--173, 162(2)245--281
-
N-rational, 180(1)61--80
-
{N}-rational, 180(1)61--80
-
n-segment, 174(1)171--191
-
n-vertex, 168(1)121--154
-
n-word, 163(1)145--160
-
Nadathur, Gopalan, 198(1)49--98
-
Nadathur:1998:NLT, 198(1)49--98
-
Nagaraj, S. V., 188(1)1--44
-
Nagaraj:1997:OBS, 188(1)1--44
-
Nagarajan, R., 222(1)1--53
-
Nagarajan, R., see Abramsky, S.
-
Nagaymam, M., 197(1)246--z--1
-
Nagaymam:1998:GTC, 197(1)246--z--1
-
Naik, Ashish V., 148(2)325--349, 207(1)131--157
-
Naik:1995:QTC, 148(2)325--349
-
Naik:1998:HBO, 207(1)131--157
-
naive, 166(1)49--62
-
naive, semi-, 146(1)145--184
-
Nakamura, Atsuyoshi, 137(1)159--176
-
Nakamura:1995:ELL, 137(1)159--176
-
Nakano, H., 197(1)244--z--1
-
Nakano, H., see Hayashi, S.
-
Nakano, Koji, 197(1)57--77
-
Nakano:1998:ISA, 197(1)57--77
-
Nakazaki, S., 197(1)244--z--1
-
Nakazaki, S., see Hayashi, S.
-
name, 151(2)437--486, 168(1)53--103, 183(2)215--228, 195(2)291--324,
221(1)457--493
-
name, Call-by-, 228(1)175--210
-
name, call-by-, 234(1)309--321
-
name-based, 192(2)201--231
-
name-passing, 167(1)235--274, 195(2)205--226
-
named, 181(1)195--225, 192(2)201--231
-
nameless, 197(1)244--z--2
-
naming, 192(2)201--231
-
Nanni, Umberto, 203(1)69--90, 205(1)115--133
-
Nanni, Umberto, see Cicerone, Serafino,
see Flammini, Michele
-
Napoli, Margherita, 179(1)251--271
-
Napoli, Margherita, see Gruska, Jozef
-
Naqvi, Shamim, 149(1)3--48
-
Naqvi, Shamim, see Buneman, Peter
-
Narendran, Paliath, 198(1)1--47
-
Narendran, Paliath, see Otto, Friedrich
-
narrower, 165(1)133--169
-
narrowing, 139(1)207--242, 167(1)95--130, 194(1)243--z--1
-
Natarajan, V., 195(2)227--258
-
Natarajan, V., see Cleaveland, R.
-
natural, 140(1)5--52, 141(1)151--162, 142(2)179--207, 145(1)111--145,
145(1)189--228, 150(1)161--191, 152(1)67--89, 160(1)305--320,
161(1)205--233, 162(1)5--21, 162(2)341--349, 163(1)269--276,
163(1)283--289, 166(1)173--202, 169(1)3--21, 174(1)23--65,
175(1)75--92, 175(1)z--z, 176(1)111--158, 176(1)159--173,
183(1)33--44, 185(2)217--235, 193(1)129--148, 194(1)240--z--1,
197(1)245--z, 197(1)248--z--1
-
nature, 138(2)425--454
-
Naudin, Patrice, 191(1)1--36
-
Naudin:1998:UPF, 191(1)1--36
-
Naughton, J. F., 146(1)269--310
-
Naughton:1995:ARF, 146(1)269--310
-
Naumann, David A., 150(1)111--159
-
Naumann:1995:PTH, 150(1)111--159
-
Navarro, Marisa, 140(1)139--177
-
Navarro:1995:CMS, 140(1)139--177
-
navigation, 140(2)249--263
-
navigational, 140(2)265--289
-
NC, 141(1)337--350, 143(2)309--318, 145(1)381--390, 148(1)57--65,
148(2)183--205, 157(1)79--90, 215(1)89--98
-
NC-approximation, 161(1)307--314
-
NCAS, 161(1)307--314
-
NCE, 194(1)240--z--2
-
ncountable, 166(1)263--290
-
nd-order, 198(1)1--47
-
NDOL, 147(1)87--116
-
near-optimal, 181(2)379--404, 203(2)225--251
-
nearest, 150(1)161--191, 169(1)23--37, 197(1)111--138
-
nearly, 174(1)193--202, 203(1)143--150
-
neat, 192(1)31--54
-
neatening, 192(1)31--54
-
necessary, 140(2)231--247, 140(2)249--263, 145(1)1--26, 152(1)91--138,
159(2)355--356, 163(1)259--267, 180(1)61--80, 182(1)183--202,
183(1)93--112, 187(1)3--6, 197(1)111--138
-
Nederpelt, Rob, 155(1)85--109
-
Nederpelt, Rob, see Kamareddine, Fairouz
-
need, 155(1)157--177
-
need, call-by-, 228(1)175--210
-
negation, 146(1)145--184, 149(2)231--255, 155(1)157--177,
160(1)283--303, 170(1)209--244, 170(1)383--406, 171(1)61--75,
184(1)1--59, 184(1)105--143, 192(1)77--106
-
negative, 137(1)145--157, 143(1)113--122, 155(1)141--156,
155(2)365--410, 160(1)283--303, 160(1)365--380, 168(1)121--154,
168(2)405--416, 192(1)77--106
-
Nehaniv, Chrystopher L., 200(1)101--134
-
Nehaniv, Chrystopher L., see Schmitt, Lothar M.
-
Nehlig, Philippe, 156(1)1--38
-
Nehlig:1996:AQA, 156(1)1--38
-
Neiger, Gil, 220(1)31--65
-
Neiger:1999:UKO, 220(1)31--65
-
neighbor, 169(1)23--37
-
neighborhood, 168(2)337--366, 172(1)209--232, 191(1)229--243
-
neighbourhood, 147(1)165--180, 197(1)111--138
-
Neis, Hans-Christian, 168(1)3--19
-
Neis, Hans-Christian, see Ambos-Spies, Klaus
-
Nerode, A., 171(1)111--146
-
Nerode, Anil, 138(1)141--168, 155(1)157--177, 166(1)221--262
-
Nerode, Anil, see Gottlob, Georg,
see Kagan, Vadim, \see{Kohn, Wolf
-
Nerode:1997:ANR, 171(1)111--146
-
Nesi, M., 139(1)315--354
-
Nesi, M., see Inverardi, P.
-
Nesi, Monica, 152(2)285--303
-
Nesi, Monica, see Inverardi, Paola
-
nested, 137(1)3--23, 149(1)3--48, 149(1)151--178, 175(1)183--222,
176(1)283--328, 179(1)381--395, 185(1)159--175, 192(1)107--161
-
nested, well-, 147(1)211--248
-
nesting, 147(1)211--248
-
nets, {BPP}-, 179(1)301--317
-
nets;, BPP-, 179(1)301--317
-
nets, proof-, 224(1)115--134
-
networks, -, 155(1)141--156
-
networks;, G-, 155(1)141--156
-
Neuendorf, K.-P., 153(1)49--64
-
Neuendorf, K.-P., see Desel, J.
-
Neumann, 168(2)337--366
-
neural, 134(1)51--61, 141(1)1--52, 143(2)251--267, 147(1)181--210,
156(1)217--261, 158(1)279--341, 168(2)405--416, 168(2)461--472,
172(1)91--120, 174(1)123--136, 178(1)77--102, 182(1)257--257,
185(1)15--45
-
neural-like, 178(1)77--102
-
neurological, 163(1)161--176
-
neutral, 172(1)91--120
-
new, 141(1)69--107, 141(1)283--310, 154(1)3--22, 156(1)263--280,
156(1)315--325, 185(2)217--235, 186(1)1--41, 221(1)3--18,
223(1)1--72, 223(1)179--191
-
Newton, 173(1)3--48
-
next, 160(1)271--281
-
NFA, 178(1)1--36
-
NFAs, 178(1)1--36, 180(1)181--201
-
Ngo, Liem, 171(1)147--177
-
Ngo:1997:AQC, 171(1)147--177
-
ngsm, 174(1)269--274
-
Nguyen, Khanh Quoc, 226(1)173--184
-
Nguyen, Khanh Quoc, see Varadharajan, Vijay
-
nibble, 203(2)225--251
-
niche, multi-, 229(1)177--197
-
niching, 229(1)177--197
-
Nickolas, Peter, 169(1)81--112
-
Nickolas:1996:QPU, 169(1)81--112
-
Nicola, Rocco, De, 138(2)391--423
-
Nicolai, Falk, 172(1)209--232
-
Nicolai, Falk, see Brandstädt, Andreas
-
Nicollin, X., 138(1)3--34
-
Nicollin, X., see Alur, R.
-
Niedermeier, Rolf, 194(1)137--161
-
Niedermeier:1998:UCL, 194(1)137--161
-
Niederreiter, Harald, 226(1)93--104
-
Niederreiter:1999:ASC, 226(1)93--104
-
Nielsen, Mogens, 153(1)211--244, 167(1)1--1, 170(1)297--348,
190(1)87--112
-
Nielsen, Mogens, see Cheng, Allan,
see Mosses, Peter D.,
see Sassone, Vladimiro
-
Nielsen:1996:PNB, 153(1)211--244
-
Nielson, Flemming, 155(1)179--219
-
Nielson, Hanne Riis, 155(1)179--219
-
Nielson, Hanne Riis, see Nielson, Flemming
-
Nielson:1996:CPA, 155(1)179--219
-
Niemi, Valtteri, 191(1)173--183, 226(1)105--116
-
Niemi:1998:SMC, 191(1)173--183
-
Niemi:1999:EVN, 226(1)105--116
-
Nienhuys-Cheng, Shan-Hwei, 195(1)3--32
-
Nienhuys-Cheng, Shan-Hwei, see Bruin, Arie de
-
Nieuwenhuis, Robert, 142(2)209--227
-
Nieuwenhuis, Robert, see Rubio, Albert
-
Nijholt, A., 199(1)1--3
-
Nijholt:1998:E, 199(1)1--3
-
nilpotent, 187(1)123--145
-
Nilsson, Ulf, 142(1)125--138
-
Nilsson:1995:AIK, 142(1)125--138
-
Nim, 143(2)319--333, 148(1)111--119
-
Nimwegen, Erik van, 229(1)41--102
-
Nipkow, Tobias, 192(1)3--29
-
Nipkow, Tobias, see Mayr, Richard
-
Nishida, Taishin Y., 147(1)87--116, 158(1)161--176
-
Nishida:1995:QDS, 147(1)87--116
-
Nishida:1996:SL, 158(1)161--176
-
Nishimura, Naomi, 164(1)287--298
-
Nishimura, Naomi, see Gupta, Arvind
-
Nivat, M., 152(2)321--z
-
Nivat, M., see Mislove, M.
-
Nivat, Maurice, 155(2)321--347
-
Nivat, Maurice, see Barcucci, Elena
-
Niwi{\'n}ski, Damian, 163(1)99--116, 189(1)1--69
-
Niwinski:1996:GC, 163(1)99--116
-
Niwinski:1997:FPC, 189(1)1--69
-
NJ, 175(1)75--92
-
NJ/sub, 175(1)75--92
-
NK, 175(1)75--92
-
NK/sub, 175(1)75--92
-
NLC, 201(1)189--231
-
NLC;, Lin-A-, 186(1)157--169
-
NLOGSPACE, 175(1)183--222, 198(1)99--130
-
n*n, 156(1)301--313
-
nodal, 187(1)231--248
-
node, 144(1)221--249, 154(2)247--282, 156(1)315--325, 168(1)21--38,
173(1)235--252, 174(1)137--156, 178(1)103--118, 181(2)379--404,
195(1)3--32, 221(1)41--60, 221(1)139--155
-
node-disjoint, 181(2)307--316
-
noetherian, 152(2)269--283, 154(2)329--348
-
noise, 185(1)159--175
-
noise-free, 185(1)129--157
-
noisy, 161(1)235--261, 185(1)129--157
-
Nolte, Doris, 177(1)139--153
-
Nolte:1997:AFS, 177(1)139--153
-
Noltemeier, H., 181(2)379--404
-
Noltemeier, H., see Krumke, S. O.
-
Noltemeier, Hartmut, 203(1)91--121, 221(1)139--155
-
Noltemeier, Hartmut, see Drangmeister, Kay U.,
see Krumke, Sven O.
-
nombre, 158(1)65--79
-
non, 139(1)315--354, 154(2)387--394, 160(1)283--303, 165(2)355--390,
166(1)221--262, 183(2)253--279, 188(1)221--230, 192(2)167--199
-
non-approximability, 225(1)113--128
-
non-commutative, 197(1)245--z, 209(1)47--86
-
non-commuting, 172(1)255--263
-
non-ground, 166(1)221--262, 206(1)257--281
-
Non-interleaving, 216(1)237--270
-
non-isomorphic, 204(1)55--73
-
non-left-linear, 146(1)69--108
-
non-linear, 152(2)285--303
-
non-monotonic, 184(1)1--59
-
non-orthogonal, 194(1)241--z--2
-
non-pumping, 174(1)275--279
-
non-returning, 209(1)319--329
-
non-safe, 160(1)283--303
-
non-separability, 174(1)231--246
-
Non-Standard, 175(1)z--z
-
non-stochastic, 152(2)171--217, 207(2)363--382
-
non-uniform, 180(1)229--241, 217(1)81--98, 218(2)263--271
-
nonambiguity, 142(1)59--87
-
nonassociativity, 143(2)343--352
-
nonblocking, 182(1)171--182
-
noncentralized, 165(2)463--474
-
noncocommutative, 197(1)242--z--1
-
noncollapsing, 149(1)49--66
-
noncommutative, 197(1)242--z--1, 197(1)246--z--1
-
noncommuting, 172(1)255--263
-
noncopying, 152(1)139--169
-
nondegenerated, 155(2)411--424
-
nondeterminism, 138(2)273--314, 143(1)23--49, 151(1)37--78,
155(1)39--83, 159(2)245--270, 159(2)271--317, 169(2)161--184,
170(1)83--128, 177(1)3--25, 177(2)329--349, 178(1)37--76,
179(1)217--250, 181(1)141--157, 190(1)61--85, 202(1)1--54,
254(1)691--694
-
nondeterministic, 139(1)27--67, 141(1)69--107, 141(1)175--193,
143(1)23--49, 143(1)123--135, 143(1)159--165, 148(2)207--225,
155(2)291--319, 159(2)271--317, 160(1)1--85, 161(1)301--306,
166(1)173--202, 174(1)269--274, 178(1)1--36, 178(1)37--76,
179(1)217--250, 189(1)1--69, 192(2)259--286, 194(1)137--161,
194(1)183--205, 195(1)3--32, 198(1)99--130, 200(1)1--44,
228(1)105--150
-
nondistance, 193(1)113--127
-
nondistinct, 156(1)39--70
-
nonempty, 138(1)141--168, 193(1)53--73, 193(1)149--179
-
nonholonomic, 157(1)101--114
-
nonholonomy, 157(1)129--136
-
nonhomeomorphic, 156(1)203--215
-
noninclusion, 165(2)233--246
-
noninteractive, 192(2)315--351
-
noninterleaving, 155(1)39--83, 170(1)277--296, 170(1)297--348,
198(1)159--176
-
nonisomorphism, 147(1)137--147
-
nonlinear, 138(1)101--112, 138(1)113--139, 143(2)335--342,
152(2)269--283, 152(2)285--303, 187(1)87--104, 187(1)231--248
-
nonlinearity, 226(1)207--223
-
nonlogical, 193(1)197--214
-
nonmodular, 166(1)101--146
-
nonmonotonic, 149(2)231--255, 155(1)157--177, 160(1)321--363,
166(1)221--262, 170(1)209--244, 171(1)111--146, 177(1)155--182,
184(1)1--59
-
nonmonotonicity, 177(1)155--182
-
nonnegative, 143(2)309--318, 180(1)61--80, 185(1)63--79
-
nonoperational, 151(1)195--205
-
nonordered, 147(1)19--30
-
nonorthogonal, 194(1)241--z--2
-
nonoverlapping, 145(1)357--369, 152(2)269--283, 152(2)285--303
-
nonprimitive, 154(2)247--282
-
nonrandom, 178(1)155--169
-
nonreachability, 153(1)49--64
-
nonrecognition, 156(1)281--287
-
nonrecursive, 145(1)241--270
-
nonredundant, 188(1)79--99
-
nonregular, 168(2)241--255, 180(1)181--201, 221(1)211--250
-
nonreturning, 165(2)463--474
-
nonreturning, returning-, 165(2)463--474
-
nonsequential, 153(1)171--210
-
nonserializable, 192(2)315--351
-
nonsingular, 165(2)483--490, 180(1)287--308
-
nonstandard, 154(2)145--163, 155(1)141--156, 175(1)z--z, 198(1)177--200
-
nonsubsequences, 143(2)353--362
-
nonsupersequences, 143(2)353--362
-
nonsuperstring, 143(1)113--122
-
nonsymbolic, 172(1)91--120
-
nonsymmetric, 139(1)115--130
-
nonterminals, 161(1)205--233
-
nonterminating, 152(2)285--303
-
nontermination, 160(1)1--85, 170(1)145--171
-
nontransitivity, 180(1)115--137
-
nontrivial, 148(2)303--324, 155(1)267--276, 223(1)193--197
-
nonuniform, 158(1)193--219, 219(1)301--318
-
nonzero, 172(1)303--308, 209(1)237--260
-
normal, 137(1)129--144, 139(1)243--273, 139(1)315--354, 146(1)185--197,
152(2)269--283, 152(2)285--303, 155(1)1--38, 155(1)85--109,
157(1)53--77, 161(1)205--233, 170(1)383--406, 170(1)407--444,
171(1)111--146, 178(1)155--169, 185(2)379--391, 186(1)231--248,
190(1)41--60, 208(1)33--58
-
normalisation, 170(1)407--444, 183(2)215--228
-
normalising, 155(1)85--109
-
normalization, 135(1)67--110, 142(2)299--368, 151(2)487--512,
165(1)75--95, 169(2)201--220, 170(1)173--207, 185(2)217--235,
197(1)246--z--2, 206(1)353--354, 211(1)375--395, 222(1)187--194,
227(1)333--396
-
normalization, proof-, 197(1)246--z--2
-
normed, 158(1)143--159, 195(2)113--131
-
norms, 188(1)117--128
-
not, 147(1)149--163, 155(2)411--424, 156(1)281--287, 163(1)145--160,
164(1)141--163, 191(1)145--156, 209(1)163--178, 224(1)291--317
-
notation, 155(1)85--109, 159(2)319--341, 168(1)105--119, 192(2)233--258,
198(1)49--98
-
notation;, lambda-, 155(1)85--109
-
note, 140(2)249--263, 152(2)321--z, 155(2)425--438, 163(1)259--267,
177(2)329--349, 179(1)421--425, 183(1)83--92, 194(1)247--z,
224(1)3--11
-
notion, 163(1)1--54, 164(1)141--163, 168(1)105--119, 168(2)267--301,
178(1)155--169, 184(1)61--104
-
Nour, Karim, 180(1)371--375
-
Nour, Karim, see David, René
-
Nourani, Yaghout, 215(1)51--68
-
Nourani:1999:ENH, 215(1)51--68
-
Nourine, Lhouari, 165(2)391--405, 175(2)293--308
-
Nourine, Lhouari, see Habib, Michel,
see Higuera, Colin de la
-
Novak, Erich, 219(1)301--318
-
Novak:1999:CUN, 219(1)301--318
-
NP, 137(2)279--282, 141(1)175--193, 145(1)111--145, 145(1)147--157,
147(1)55--67, 147(1)181--210, 148(2)207--225, 148(2)325--349,
150(1)1--55, 154(2)145--163, 154(2)283--306, 157(2)161--183,
158(1)143--159, 158(1)221--231, 160(1)185--216, 164(1)59--72,
164(1)141--163, 174(1)97--121, 181(2)229--245, 189(1)239--248
-
NP, Co-, 154(2)145--163
-
NP;, co-, 148(2)207--225
-
NP, co-, 147(1)55--67
-
NP-complete, 137(1)129--144, 143(2)353--362, 147(1)117--136,
147(1)137--147, 148(1)19--32, 148(1)93--109, 155(2)321--347,
161(1)289--300, 163(1)161--176, 164(1)287--298, 165(2)233--246,
175(2)309--335, 178(1)265--273, 180(1)269--286, 181(1)159--179,
181(2)267--287, 186(1)107--134, 186(1)157--169, 191(1)205--214,
197(1)245--z--2, 198(1)211--224
-
{NP}-complete, 186(1)107--134, 198(1)211--224, 201(1)137--150
-
NP-completeness, 147(1)69--85, 165(2)483--490, 168(1)3--19,
175(2)349--372, 188(1)129--159
-
{NP}-completeness, 145(1)111--145, 225(1)65--79
-
{NP}-complets., 201(1)137--150
-
NP-complexity, 154(2)145--163
-
NP-hard, 143(1)93--112, 143(1)113--122, 147(1)181--210, 161(1)123--140,
162(2)225--243, 169(1)23--37, 181(2)379--404, 191(1)229--243,
197(1)171--188
-
{NP}-hard, 215(1)51--68
-
NTMs, 194(1)137--161
-
nuclear, 187(1)263--284
-
number, 137(2)253--268, 141(1)351--355, 143(2)335--342, 144(1)101--124,
145(1)241--270, 151(1)277--294, 154(1)57--65, 155(1)277--288,
156(1)263--280, 158(1)65--79, 158(1)379--z, 159(1)29--42,
162(1)79--115, 162(1)151--170, 163(1)193--210, 163(1)269--276,
164(1)311--z, 165(2)475--482, 165(2)483--490, 171(1)303--z,
174(1)137--156, 175(2)271--282, 176(1)89--110, 178(1)155--169,
178(1)171--203, 179(1)319--331, 181(1)17--43, 181(1)181--194,
181(2)347--356, 182(1)259--z, 182(1)263--z, 194(1)1--34,
197(1)111--138, 205(1)337--344, 207(2)387--395, 209(1)287--297,
210(1)159--171, 210(1)173--197, 215(1)1--30, 218(1)95--106,
219(1)185--223, 219(1)451--465, 221(1)295--326, 547-z-122
-
numbering, 137(2)219--236, 188(1)175--194
-
numeration, 181(1)17--43, 204(1)119--130
-
numération, 137(2)219--236, 158(1)65--79, 204(1)119--130
-
numerical, 139(1)27--67, 144(1)3--58, 144(1)101--124, 151(1)163--193,
155(2)321--347, 176(1)89--110, 181(1)181--194, 187(1)249--262,
187(1)263--284, 217(2)359--383