Index file section N for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
N
-
N-free, 299(1)347--386
-
n-state, 47(2)149--158
-
Na, Joong Chae, 304(1)87--101
-
Na:2003:TST, 304(1)87--101
-
Nadathur, Gopalan, 232(1)273--298
-
Nadathur:2000:CBC, 232(1)273--298
-
Nagamochi, Hiroshi, 312(2)267--280
-
Nagamochi, Hiroshi, see Karuno, Yoshiyuki
-
Nagayama, Misao, 294(3)551--573
-
Nagayama:2003:GTC, 294(3)551--573
-
Naini, Rei, Safavi-, 269(1)1--21
-
Nakajima, Kouji, 262(1)633--647
-
Nakajima, Kouji, see Takenaga, Yasuhiko
-
Nakamigawa, Tomoki, 235(2)271--282
-
Nakamigawa:2000:GDF, 235(2)271--282
-
Nakamura, Atsuyoshi, 241(1)83--114
-
Nakamura:2000:QLB, 241(1)83--114
-
Nakazawa, Koji, 290(1)429--463
-
Nakazawa:2002:CSN, 290(1)429--463
-
name, call-by-, 234(1)309--321
-
named, 313(1)93--104
-
named, node-, 237(1)327--345
-
names, 285(1)89--99, 323(1)1--48
-
Nandy, Subhas C., 255(1)627--639, 299(1)273--288
-
Nandy:2001:DMW, 255(1)627--639
-
Nandy:2003:ENN, 299(1)273--288
-
Nanni, Umberto, 259(1)287--305, 297(1)83--102
-
Nanni, Umberto, see Cicerone, Serafino,
see Frigioni, Daniele
-
Nanri, Ichiro, 292(2)497--524, 292(2)525--546
-
Nanri, Ichiro, see Takeda, Masayuki
-
Napoli, Margherita, 293(3)479--505
-
Napoli, Margherita, see Torre, Salvatore La
-
Narayanan, Lata, 262(1)649--667
-
Narayanan, Lata, see Janssen, Jeannette
-
Narbel, Philippe, 255(1)323--344
-
Narbel, Philippe, see Lopez, Luis-Miguel
-
Nardelli, Enrico, 296(1)167--177
-
Nardelli:2003:FMV, 296(1)167--177
-
Narendran, Paliath, 243(1)167--184
-
Narendran, Paliath, see Degtyarev, Anatoli
-
nasty, 288(2)255--275
-
Natschläger, Thomas, 287(1)251--265
-
Natschlager:2002:SNI, 287(1)251--265
-
natural, 257(1)51--77, 267(1)131--140, 272(1)315--339, 275(1)561--574,
293(1)169--188, 303(1)53--62, 317(1)115--145, 320(1)3--13
-
Naudts, B., 287(1)167--185
-
Naudts:2002:GPD, 287(1)167--185
-
Naumann, David A., 278(1)271--301
-
Naumann:2002:SDR, 278(1)271--301
-
Naundorf, 247(1)291--296
-
Naundorf, Holger, 238(1)483--488
-
Naundorf:2000:SCF, 238(1)483--488
-
Navarro, Gonzalo, 237(1)455--463, 321(2)283--290
-
Navarro:2000:IAP, 237(1)455--463
-
Navarro:2004:ACE, 321(2)283--290
-
NC, 259(1)597--611, 318(1)57--78
-
Ndoundam, René, 306(1)513--533
-
Ndoundam:2003:ETL, 306(1)513--533
-
near-optimal, 329(1)285--301
-
nearest, 299(1)273--288
-
nearly, 261(1)179--209, 288(2)217--235, 293(3)535--556, 302(1)35--44
-
nearness, 305(1)473--489
-
Nebel, Markus E., 270(1)441--461
-
Nebel:2002:SST, 270(1)441--461
-
necessary, 276(1)417--424
-
necklaces, 301(1)477--489
-
need, 301(1)451--462
-
Negami, Seiya, 263(1)205--210
-
Negami:2001:NRT, 263(1)205--210
-
negation, 254(1)663--676, 328(3)325--354
-
negative, non-, 291(2)143--157
-
Negulescu, R., 231(1)113--128
-
Negulescu, R., see Brzozowski, J. A.
-
Nehaniv, Chrystopher L., 245(1)1--1, 245(1)27--54, 302(1)295--317
-
Nehaniv, Chrystopher L., see Dömösi, Pál,
see Ito, Masami
-
Nehlig, Philippe, 246(1)73--105
-
Nehlig, Philippe, see Barneva, Reneta P.
-
neighbor, 296(1)47--58, 298(1)89--110, 299(1)273--288
-
Neighborhood, 263(1)247--254
-
neighborhoods, 299(1)707--718, 312(2)203--222, 325(2)273--284
-
Neraud, J., 273(1)1--3
-
Néraud, J., 307(1)1--1
-
Néraud, Jean, 255(1)151--162, 273(1)185--196
-
Neraud:2001:CFD, 255(1)151--162
-
Neraud:2002:LCS, 273(1)185--196
-
Neraud:2002:P, 273(1)1--3
-
Neraud:2003:P, 307(1)1--1
-
Nerode, Anil, 266(1)365--405, 284(2)197
-
Nerode, Anil, see Ko, Ker-l,
see Wijesekera, Duminda
-
Ne{\v{s}}et{\v{r}}il, Jaroslav, 287(2)355--357, 287(2)585--591
-
Nesetril:2002:DD, 287(2)585--591
-
Nesetril:2002:P, 287(2)355--357
-
Nessel, Jochen, 261(1)3--29, 298(1)71--87
-
Nessel, Jochen, see Jain, Sanjay,
see Lange, Steffen
-
nested, 254(1)363--377, 312(2)337--358
-
Nesting, 259(1)341--357
-
net, 232(1)231--272, 238(1)161--181, 243(1)1--34, 243(1)409--447,
247(1)83--140, 254(1)317--335, 256(1)3--21, 256(1)23--30,
258(1)573--598, 262(1)285--310, 275(1)127--177, 297(1)157--181,
308(1)145--197, 311(1)165--197, 323(1)129--189
-
net, M-, 300(1)259--300
-
net-based, Petri-, 328(3)245--269
-
nets, proof-, 290(1)161--188, 294(3)379--409, 294(3)473--488
-
network, 233(1)165--189, 243(1)217--241, 243(1)289--305, 245(2)175--202,
247(1)213--228, 249(2)325--342, 250(1)235--245, 255(1)107--123,
255(1)263--279, 256(1)113--144, 259(1)359--377, 261(2)241--251,
261(2)323--328, 263(1)139--143, 263(1)173--189, 263(1)211--229,
263(1)235--245, 265(1)285--306, 266(1)887--934, 274(1)3--41,
284(1)53--66, 285(2)407--439, 287(2)449--471, 289(1)85--104,
291(1)3--28, 298(1)235--251, 299(1)107--121, 299(1)751--761,
301(1)355--379, 302(1)337--364, 310(1)501--511, 312(1)75--97,
312(2)281--293, 314(1)293--301, 314(3)375--386, 319(1)423--439,
320(1)71--87, 325(1)25--44, 326(1)103--116, 326(1)399--408,
328(1)39--51, 329(1)237--250
-
neural, 261(1)157--178, 265(1)285--306, 284(1)53--66, 287(1)187--207,
287(1)239--249, 312(2)281--293, 320(1)71--87, 320(1)111--121
-
neural-Bayesian, 287(1)219--238
-
neuronal, 306(1)513--533
-
neurons, 287(1)251--265
-
Neven, Frank, 275(1)633--674
-
Neven:2002:QAF, 275(1)633--674
-
new, 233(1)19--32, 235(1)59--70, 242(1)125--142, 245(2)281--294,
252(1)5--12, 253(1)61--93, 258(1)169--208, 259(1)183--197,
259(1)577--596, 268(1)3--16, 279(1)3--27, 291(3)223--283,
299(1)509--521, 300(1)91--160, 300(1)365--378, 303(2)303--331,
303(2)517--537, 306(1)113--122, 307(3)503--513, 310(1)61--77,
311(1)527--527, 312(1)47--74, 313(3)499--509, 320(2)155--174,
324(2)219--251, 325(2)329--344
-
news, 295(1)279--294, 352(1)347--348
-
NFA, 327(3)241--253, 347(1)437--440
-
NFAs, 237(1)485--494, 301(1)451--462, 306(1)373--390, 328(1)161--170
-
Ng, C. T., 320(2)199--212
-
Ng, C. T., see Yuan, J. J.
-
Ng, M. K. Michael K., 315(2)511--523
-
Ng, M. K. Michael K., see Lin, Fu-Rong
-
Ngan, Tsuen-Wan, 295(1)251--261
-
Ngan, Tsuen-Wan, see Koo, Chiu-Yuen
-
Ngo, Hung Q., 304(1)461--469
-
Ngo, Hung Q., see Cheng, Xiaoyan
-
Nicart, Florent, 328(1)39--51
-
Nicart, Florent, see Guingne, Franck
-
Nichitiu, Codrin, 289(1)573--590, 319(1)367--384
-
Nichitiu, Codrin, see Blondel, Vincent D.
-
Nichitiu:2004:LEP, 319(1)367--384
-
Nickau, Hanno, 272(1)247--292, 308(1)333--366
-
Nickau, Hanno, see Ker, Andrew D.
-
Nicodème, Pierre, 287(2)593--617
-
Nicodeme:2002:MS, 287(2)593--617
-
Nicola, Rocco, De, 302(1)179--189
-
Nicola, Rocco De, 238(1)389--437, 240(1)215--254, 254(1)337--361,
266(1)237--248
-
Nicola, Rocco De, see Boreale, Michele,
see Chen, Xiao Jun
-
Nicola:2000:LBA, 238(1)389--437
-
Nicola:2000:TAC, 240(1)215--254
-
Niederhausen, Heinrich, 319(1)385--409
-
Niederhausen, Heinrich, see Humphreys, Katherine
-
Niedermeier, Rolf, 312(2)337--358
-
Niedermeier, Rolf, see Alber, Jochen
-
Nielsen, Frank, 246(1)53--72, 263(1)17--29, 263(1)235--245,
321(2)371--382
-
Nielsen, Frank, see Calégari, Patrice,
see Nock, Richard
-
Nielsen, Lasse R., 308(1)239--257
-
Nielsen, Lasse R., see Danvy, Olivier
-
Nielsen:2000:FSB, 246(1)53--72
-
Nielsen:2001:PCO, 263(1)17--29
-
Nielson, Flemming, 283(2)381--418
-
Nielson, Hanne Riis, 283(2)381--418
-
Nielson, Hanne Riis, see Nielson, Flemming
-
Nielson:2002:VFU, 283(2)381--418
-
Niemelä, Ilkka, 258(1)523--553, see Brass, Stefan
-
Niewiadomski, Robert, 325(3)361--372
-
Niewiadomski, Robert, see Chen, Zhi-Zhong
-
Niggl, K.-H., 318(1)139--161
-
Niggl, K.-H., see Kristiansen, L.
-
Nijholt, A., 293(2)237--241
-
Nijholt, Anton, 230(1)247--256
-
Nijholt, Anton, see Asveld, Peter R. J.
-
Nijholt:2003:E, 293(2)237--241
-
Nikoletseas, S., 287(2)515--534
-
Nikoletseas, S., see Flajolet, P.
-
Nikolskaia, L., 255(1)615--625
-
Nikolskaia, L., see Nikolskaia, M.
-
Nikolskaia, M., 255(1)615--625
-
Nikolskaia:2001:SOR, 255(1)615--625
-
Nim, 304(1)387--399, 304(1)401--419
-
Nine, 231(2)171--180
-
Nipkow, Tobias, 298(3)583--626
-
Nipkow, Tobias, see Klein, Gerwin
-
Nisan, Noam, 310(1)159--180
-
Nisan, Noam, see Lavi, Ron
-
Nishida, T. Y., 233(1)279--286, 246(1)131--150
-
Nishida:2000:GPE, 246(1)131--150
-
Nishida:2000:SL, 233(1)279--286
-
Nishimura, Harumichi, 276(1)147--181
-
Nishimura:2002:CCU, 276(1)147--181
-
Nishizeki, Takao, 240(2)407--427
-
Nishizeki, Takao, see Kashem, Md. Abul
-
Nivat, 237(1)423--427, 281(1)3--23, 281(1)25--30, 281(1)31--36,
322(2)233--235
-
Nivat, M., 322(2)233--235
-
Nivat, Maurice, 250(1)xi--xiii, 282(2)319--336, 293(1)1--2,
303(2)417--430
-
Nivat, Maurice, see Beauquier, Danièle,
see Daurat, Alain, \see{Gaubert, Stephane
-
Nivat:2001:Y, 250(1)xi--xiii
-
Nivat:2004:AEG, 322(2)233--235
-
Niwi{\'n}ski, Damian, 303(1)215--231
-
Niwinski:2003:GPD, 303(1)215--231
-
NL-hard, 240(2)257--269
-
NMR, 299(1)211--229
-
Nock, Richard, 301(1)143--165, 321(2)371--382
-
Nock:2003:CCA, 301(1)143--165
-
Nock:2004:DPI, 321(2)371--382
-
Nöcker, Michael, 315(2)419--452,
see Gathen, J. Joachim von zur
-
node, 240(2)429--446, 266(1)463--487, 296(1)167--177
-
node-named, 237(1)327--345
-
Noga, John, 234(1)203--218, 268(1)133--143, 287(2)387--391
-
Noga, John, see Achlioptas, Dimitris,
see Anderson, Eric
-
Noga:2001:OOA, 268(1)133--143
-
Noguchi, Kenichiro, 314(3)303--334
-
Noguchi:2004:SSM, 314(3)303--334
-
noise, 288(2)255--275, 289(1)629--647
-
noise-tolerant, 261(1)31--56
-
noisy, 241(1)115--141
-
Nominal, 323(1)473--497
-
Non-approximability, 296(1)179--192
-
non-associative, 233(1)217--231
-
Non-cancellative, 237(1)197--212
-
non-clausal, 266(1)81--112
-
non-commutative, 294(3)335--351, 294(3)551--573
-
non-constructive, 238(1)489--494
-
non-context-freeness, 293(2)261--289
-
Non-cryptographic, 306(1)139--154
-
non-dependent, 269(1)317--361
-
non-determinism, 271(1)151--180
-
non-deterministic, 272(1)223--245, 323(1)191--233
-
non-disjoint, 290(1)291--353
-
non-empty, 302(1)295--317
-
non-extensional, 238(1)183--220
-
non-floundering, 266(1)489--512
-
non-Hausdorff, 305(1)135--158
-
Non-injective, 255(1)401--422
-
non-linear, 281(1)219--233
-
non-linéarité, 281(1)219--233
-
non-monotone, 238(1)489--494
-
non-monotonic, 308(1)367--392
-
non-negative, 291(2)143--157
-
non-{NP}-hard, 289(1)553--571
-
non-pipelined, 279(1)3--27
-
non-recursive, 288(2)309--341
-
Non-regular, 269(1)203--229
-
non-separable, 233(1)201--215
-
non-size-increasing, 318(1)3--27
-
non-standard, 321(2)233--248
-
non-standard-type, 272(1)69--112
-
non-terminating, 243(1)489--498
-
non-termination, 300(1)161--179
-
non-topological, 305(1)159--186
-
non-Turing, 317(1)115--145
-
non-wellfounded, 327(1)155--174
-
nonadaptive, 259(1)597--611
-
nonblocking, 261(2)323--328, 314(3)375--386
-
noncanonical, 313(1)73--91
-
nondeterminism, 202(1)1--54, 254(1)691--694
-
nondeterministic, 47(2)149--158, 242(1)219--235, 295(1)189--203,
302(1)179--189
-
nonexpansive, 293(1)141--167
-
Noninterference, 281(1)109--130
-
nonlinear, 293(1)141--167
-
nonlinearity, 292(3)697--710
-
nonparametric, 284(1)3--24
-
Nonprimitive, 256(1)23--30
-
nonregular, 302(1)481--488
-
Nonterminal, 296(2)225--251
-
nonterminal, three-, 246(1)279--284
-
nonterminals, 289(1)853--859, 320(2)419--448
-
nonuniform, 292(1)299--316
-
Noord, Gertjan van, 313(1)45--56
-
Noord, Gertjan van, see Daciuk, Jan
-
norm, 319(1)357--366
-
normal, 232(1)121--132, 249(2)313--324, 255(1)511--538, 258(1)169--208,
266(1)365--405, 267(1)35--47, 270(1)947--958, 286(2)247--292,
290(1)499--529, 309(1)287--311, 315(2)419--452, 328(3)325--354
-
normalizability, 272(1)223--245, 290(1)429--463
-
normalization, 239(1)141--164, 269(1)317--361, 290(1)975--1019,
294(3)489--524
-
normalize, 254(1)677--681
-
normalizing, 243(1)489--498
-
Norman, Gethin, 282(1)101--150
-
Norman, Gethin, see Kwiatkowska, Marta
-
Normann, Dag, 284(2)437--453, 316(1)137--151
-
Normann:2002:ERN, 284(2)437--453
-
Normann:2004:HTF, 316(1)137--151
-
normed, 270(1)677--700
-
not, 230(1)235--245, 249(2)343--355, 266(1)341--364, 292(3)589--596,
307(2)257--276, 315(2)405--417, 315(2)557--579
-
Notations, 288(1)3--19
-
note, 261(1)81--90, 263(1)9--16, 263(1)205--210, 275(1)69--77,
276(1)407--415, 276(1)417--424, 276(1)425--434, 276(1)435--444,
276(1)445--447, 276(1)449--459, 289(1)845--852, 293(2)243--259,
302(1)167--178, 313(3)371--376, 320(2)229--246
-
notion, 262(1)473--499, 285(1)3--24, 294(1)31--60
-
Nour, Karim, 308(1)227--237
-
Nour:2003:SPC, 308(1)227--237
-
Nourine, L., 312(2)401--431
-
Nourine, L., see Habib, M.
-
Noutsos, D., 315(2)557--579
-
Noutsos:2004:MAP, 315(2)557--579
-
now, 279(1)3--27
-
Nowakowski, R. J., 313(3)463--472
-
Nowakowski, R. J., see Howse, S.
-
Nowakowski, Richard J., 313(3)313--313, 313(3)539--543
-
Nowakowski, Richard J., see Demaine, Erik D.,
see Fleischer, Rudolf
-
Nowotka, Dirk, 307(1)139--172
-
Nowotka, Dirk, see Harju, Tero
-
Noy, Marc, 307(2)365--384
-
Noy:2003:GDP, 307(2)365--384
-
Noyé, Jacques, 248(1)3--27, see Hornof, Luke
-
NP, 250(1)101--124, 259(1)99--128, 264(1)127--137, 289(1)861--869,
295(1)323--339, 318(1)105--119
-
{NP, P}-, 314(1)281--285
-
NP-complete, 230(1)39--48, 255(1)607--610, 299(1)451--475,
304(1)471--476, 307(3)567--572
-
NP-completeness, 259(1)81--98, 263(1)305--310, 319(1)447--454
-
NP-hard, 259(1)323--339, 285(1)55--71, 287(2)473--499, 306(1)245--268
-
{NP}-hard, non-, 289(1)553--571
-
null-free, 231(1)89--101
-
number, 230(1)97--116, 237(1)485--494, 238(1)495--498, 245(2)281--294,
255(1)125--149, 257(1)185--239, 262(1)83--99, 263(1)31--35,
263(1)75--85, 263(1)87--98, 265(1)79--108, 270(1)921--933,
270(1)947--958, 273(1)5--9, 279(1)1--2, 279(1)3--27, 283(1)109--150,
284(2)241--257, 284(2)269--277, 284(2)437--453, 284(2)455--466,
284(2)467--485, 284(2)499--518, 289(1)853--859, 289(1)871--876,
291(2)133--134, 291(2)135--141, 293(1)169--188, 296(1)89--98,
297(1)25--36, 299(1)451--475, 299(1)537--584, 302(1)431--456,
303(1)53--62, 303(2)353--374, 303(2)409--416, 304(1)269--290,
307(2)433--453, 313(3)527--532, 314(1)45--55, 315(2)405--417,
315(2)469--510, 315(2)525--555, 319(1)71--81, 319(1)441--446,
320(2)419--448, 325(3)425--437, 329(1)71--92
-
number, proof-, 313(3)511--525
-
number-conserving, 292(3)711--721, 299(1)523--535
-
numberings, 262(1)473--499
-
numeration, 244(1)271--281, 269(1)469--498, 282(2)271--284
-
numerical, 315(2)405--417, 315(2)469--510, 315(2)651--669
-
numerically, 315(2)405--417
-
Nunes, C., 308(1)393--427
-
Nunes, C., see Mateus, P.
-
Nygaard, Mikkel, 316(1)153--190
-
Nygaard:2004:DTC, 316(1)153--190
-
Nykänen, Matti, 267(1)83--104
-
Nykanen:2001:UAT, 267(1)83--104
-
Nymeyer, Albert, 238(1)439--464
-
Nymeyer, Albert, see Katoen, Joost-Pieter
-
nymphs, 282(2)223--229