Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
N
-
N, 29(3)183--188
-
Nadathur, Gopalan, 11(1)115--145, 33(2)89--132, 49(2)241--273
-
Nadathur, Gopalan, see Gacek, Andrew,
see Liang, Chuck
-
Nadathur:1993:PPL, 11(1)115--145
-
Nagging, 19(3)347--376
-
Naini, Reihaneh, Safavi-, 56(1)49--94
-
Naive, 45(1)21--37
-
Nalon, Cláudia, 64(3)461--484, 66(4)639--666, 66(4)1099--1099,
see Papacchini, Fabio
-
Nalon:2020:RBT, 64(3)461--484
-
Named, 49(2)185--207
-
Nameless, 49(3)363--408
-
Names, 49(2)115--140, 49(2)275--300
-
naming, 11(1)147--148, 49(2)111--114
-
Naraschewski, Wolfgang, 23(3)299--318
-
Naraschewski:1999:TIV, 23(3)299--318
-
Narayanan, Ashvni, 66(4)611--637
-
Narayanan, Ashvni, see Baanen, Anne
-
Narboux, Julien, 39(2)161--180, 48(4)489--532, 58(2)209--230,
62(1)1--68, 66(4)689--746
-
Narboux, Julien, see Boutry, Pierre,
see Braun, Gabriel,
see Jani{\v{c}}i{\'c}, Predrag,
see Jani{\v{c}}i{{\'c}}, Predrag
-
Narboux:2007:GUI, 39(2)161--180
-
Narendran, Paliath, 9(2)261--288, 17(1)131--143, 19(1)87--115,
33(1)1--28, 48(2)135--158
-
Narendran, Paliath, see Anantharaman, Siva,
see Kapur, Deepak
-
Narendran:1996:GAC, 17(1)131--143
-
Narendran:1997:SVS, 19(1)87--115
-
Narizzano, Massimo, 45(4)397--414
-
Narizzano, Massimo, see Angeletti, Damiano
-
Narkawicz, Anthony, 51(2)151--196, 54(4)285--326
-
Narkawicz, Anthony, see Muñoz, César
-
Narkawicz:2015:FVD, 54(4)285--326
-
Narrowing, 60(4)421--463
-
Narváez, David, 66(3)277--300, see Brakensiek, Joshua
-
Nash, Oliver, 67(2)z--99999999
-
Nash:2023:ETM, 67(2)z--99999999
-
Natural, 18(1)105--134, 34(3)239--294, 50(2)217--228, 62(1)127--167,
64(7)1445--1481, 64(8)1553--1610
-
natural-deduction, 6(2)211--212, 7(2)285--286
-
Naumowicz, Adam, 50(2)119--121, 55(3)191--198, 55(3)285--294,
61(1)9--32
-
Naumowicz, Adam, see Bancerek, Grzegorz,
see Grabowski, Adam,
see Trybulec, Andrzej
-
Naumowicz:2015:ABS, 55(3)285--294
-
Navarro, Marisa, 50(1)1--49
-
Navarro, Marisa, see Gaintzarain, Jose
-
near-boolean, 6(4)465--489
-
Near-Horn, 7(1)1--26
-
Necessary, 48(4)419--439
-
Negation, 2(2)155--170, 20(1)107--142
-
negative, 4(4)397--424
-
negative, Non-, 5(1)25--35
-
Neider, Daniel, 64(7)1523--1552
-
Neider:2020:LBA, 64(7)1523--1552
-
Neighborhood, 38(1)173--199
-
Nejdl, Wolfgang, 20(1)81--105
-
Nejdl, Wolfgang, see Fröhlich, Peter
-
Németi, István, 52(4)361--378, see Stannett, Mike
-
Nerode, Myhill-, 52(4)451--480
-
Nesmith, Dan, 16(3)321--353
-
Nesmith, Dan, see Andrews, Peter B.
-
Nested, 19(1)1--29, 44(4)303--336, 49(3)409--426, 52(1)31--65
-
nested-object, 14(2)317--323
-
net, 10(1)95--113
-
network, 12(3)359--388, 41(3)325--364, 46(2)103--160, 48(4)419--439,
56(3)309--341, 59(4)425--454, 62(2)261--280, 66(4)585--610
-
Neumann--Bernays--Gödel, 8(1)91--147
-
new, 2(1)103--103, 2(2)218--218, 2(4)iii--iii, 4(4)425--444, 9(1)1--24,
15(1)95--165, 16(1)39--78, 18(1)5--24, 19(2)173--203, 19(3)277--318,
21(3)357--380, 24(4)397--420, 29(3)365--387, 45(1)39--59,
45(1)61--87, 65(2)155--155
-
Newborn, Monty, 33(2)171--218
-
Newborn:2004:OCL, 33(2)171--218
-
Newell, Josh, 60(1)63--84
-
Newell:2018:TIF, 60(1)63--84
-
Next, 55(4)307--372
-
NFM, 60(1)1--2, 63(4)1003--1004
-
Ng, Raymond, 10(2)191--235
-
Ng:1993:SFS, 10(2)191--235
-
Nguyen, Huu Hai, 36(3)213--239
-
Nguyen, Huu Hai, see Kuncak, Viktor
-
Nguyen, Linh Anh, 50(4)355--381, 64(1)21--52
-
Nguyen, Linh Anh, see Goré, Rajeev
-
Nguyen, Quang Huy, 29(3)309--336
-
Nguyen:2002:ERS, 29(3)309--336
-
Nguyen:2020:ETG, 64(1)21--52
-
Ni, Zhaozhong, 31(3)191--229
-
Ni, Zhaozhong, see Hamid, Nadeem A.
-
Nice, 39(1)77--106
-
Nicolini, Enrica, 48(1)1--42
-
Nicolini, Enrica, see Zucchelli, Daniele
-
Nicolog, 17(3)371--403
-
Nicolosi-Asmundo, Marianna, 38(1)31--56
-
Nicolosi-Asmundo, Marianna, see Cantone, Domenico
-
Niemelä, Ilkka, 14(1)3--42
-
Niemela:1995:DMN, 14(1)3--42
-
Niemetz, Aina, 65(7)1001--1025
-
Niemetz:2021:TSM, 65(7)1001--1025
-
Nieuwenhuis, Robert, 18(2)171--176, 30(1)99--120, 32(2)103--120,
46(1)81--102
-
Nieuwenhuis, Robert, see Bofill, Miquel,
see Ganzinger, Harald,
see Larrosa, Javier
-
Nieuwenhuis:1997:B, 18(2)171--176
-
Nigam, Vivek, 45(2)157--188
-
Nigam:2010:FPS, 45(2)157--188
-
Nightingale, Peter W., 35(1)143--179
-
Nightingale, Peter W., see Frisch, Alan M.
-
Nipkow, Tobias, 4(4)381--396, 12(3)389--406, 23(3)299--318, 26(1)51--66,
30(3)233--233, 41(1)z--z, 41(3)191--192, 43(3)289--304,
45(2)189--212, 49(1)95--106, 62(3)367--391, 64(5)879--910,
67(1)z--z
-
Nipkow, Tobias, see Autexier, Serge,
see Chaieb, Amine, \see{Eberl, Manuel,
see Krauss, Alexander,
see Martin, Ursula,
see Naraschewski, Wolfgang,
see Qian, Zhenyu, \see{Ro{\ss}kopf, Simon
-
Nipkow:2001:MCR, 26(1)51--66
-
Nipkow:2003:JBV, 30(3)233--233
-
Nipkow:2009:SCT, 43(3)289--304
-
Nipkow:2010:LQE, 45(2)189--212
-
Nipkow:2019:ACV, 62(3)367--391
-
Nishida, Naoki, 58(3)391--411
-
Nishida, Naoki, see Iborra, José
-
Nivela, Pilar, 32(2)103--120
-
Nivela, Pilar, see Ganzinger, Harald
-
Nivelle, Hans de, 20(1)5--25, 29(3)253--275, 47(4)399--425
-
Nivelle, Hans de, see Bezem, Marc
-
No-Good, 24(4)483--533
-
Noel, P. A. J., 10(1)15--58
-
Noel:1993:EIZ, 10(1)15--58
-
Nominal, 40(4)327--356, 53(4)351--405, 55(1)1--37, 64(1)135--165
-
Non--Boolean, 35(1)143--179
-
non-classical, 7(4)635--637
-
non-deterministic, 12(3)305--349
-
Non-Horn, 4(3)287--325
-
Non-horn, 1(1)103--114
-
non-Horn, 1(2)141--160, 8(2)153--181
-
Non-interference, 63(1)1--51, 64(8)1685--1729
-
Non-Linear, 51(3)281--324
-
Non-Monotonic, 50(1)51--98
-
Non-negative, 5(1)25--35
-
Non-trivial, 67(2)z--99999999
-
nonassociative, 3(2)211--221
-
nonclassical, 7(4)447--451
-
Nonconstructive, 21(1)69--97
-
nonlinear, 8(3)395--419
-
nonmonotonic, 10(3)399--420, 14(1)1--1, 14(1)3--42, 14(1)93--147,
15(1)v--v, 20(1)107--142, 30(1)99--120
-
nonmonotonic, temporal-, 7(3)383--401
-
Nonnegative, 66(2)175--213
-
Nonstably, 34(3)209--238
-
Nonstandard, 27(4)323--351
-
Nonsystematic, 24(4)483--533
-
Nontotal, 30(1)99--120
-
normal, 7(3)325--336, 13(1)117--143, 66(4)1065--1095, 66(4)1097--1097,
67(1)z--99999999
-
normalization, 2(1)63--74, 30(1)59--98, 51(3)281--324
-
Normalized, Sentence-, 60(4)421--463
-
Norrish, Michael, 43(3)305--336, 49(2)209--239, 61(1)485--520,
62(2)171--192, 63(3)667--693, 64(7)1287--1306, 65(2)205--256,
65(2)257--286
-
Norrish, Michael, see Abdulaziz, Mohammad,
see Abrahamsson, Oskar,
see Chan, Hing Lun, \see{Chan, Hing-Lun,
see Cheney, James,
see Gauthier, Thibault
-
Norrish:2009:RCI, 43(3)305--336
-
Noschinski, Lars, 51(1)27--56
-
Noschinski:2013:AIR, 51(1)27--56
-
not, 67(3)z--99999999
-
notation, 6(4)463--464
-
note, 2(3)275--275, 3(1)79--80, 3(4)379--381, 5(2)125--125, 8(1)39--44,
9(2)145--146, 9(3)381--389, 15(2)267--275
-
notion, 5(2)127--139, 12(3)389--406
-
Notions, 48(4)441--487
-
Nötzli, Andres, 67(3)z--99999999, see Sheng, Ying
-
NP--Hard, 55(3)295--306
-
NQTHM-92, PC-, 23(3)445--498
-
NRF, RUE-, 10(3)371--388
-
Nuckols, Gregory, 32(3)227--258
-
Nuckols, Gregory, see Sommer, Richard
-
Nuclear, 60(1)63--84
-
nuclei, 12(3)407--409
-
nullary, 2(3)277--281
-
Nulls, 66(4)989--1030
-
number, 7(2)287--300, 8(1)39--44, 22(3)341--378, 43(3)243--261,
46(2)205--221, 57(2)157--185, 59(2)267--286, 64(2)331--360,
64(3)363--389, 65(7)1071--1096, 67(4)z--99999999
-
Numeral, 63(4)887--909
-
Numeric, 62(2)281--300
-
Numerical, 33(1)29--49, 47(4)427--450, 50(4)423--456
-
Nummelin, Visa, 66(4)541--564
-
Nummelin, Visa, see Vukmirovi{\'c}, Petar
-
Nutt, Werner, 7(3)369--381
-
Nutt:1991:UHU, 7(3)369--381