Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
N
-
Nagarajan, Rajagopal, 15(4)299--318, 19(3)275--275
-
Nagarajan, Rajagopal, see Gay, Simon,
see Lazic, Ranko
-
names, 28(4)615--641
-
natural, 12(2)71--99, 21(6)613--641
-
natural-language, 28(5)725--765
-
Naumann, David A., 7(6)652--662, 19(2)205--224
-
Naumann:1995:DRC, 7(6)652--662
-
Naumann:2007:ABE, 19(2)205--224
-
Nazarpour, Hosein, 29(6)951--986
-
Nazarpour:2017:CPS, 29(6)951--986
-
NDB, 4(1)48--75
-
Nebel, Markus, 29(3)559--579
-
Nebel, Markus, see Codish, Michael
-
Nebut, Mirabelle, 16(3)263--291
-
Nebut:2004:SAS, 16(3)263--291
-
necessarily, 17(2)222--257
-
need, 24(4)497--518
-
neighbourhood, 16(2)96--103
-
Nemouchi, Yakoub, 33(6)855--884
-
Nemouchi, Yakoub, see Foster, Simon
-
Nesi, Monica, 11(2)160--199
-
Nesi:1999:FVP, 11(2)160--199
-
nested, 11(2)200--222, 16(1)19--35
-
nested-stack, 4(4)341--375
-
net, 2(1)123--138, 2(1)226--246, 2(1)342--358, 4_1S_612_637,
4(6)572--581, 9(4)409--424, 13(6)447--470, 14(1)55--89,
20(2)225--238, 20(4)429--450, 23(3)333--363, 25(5)659--681,
27(5)951--973, 28(4)615--641, 28(5)805--845, 31(1)47--58
-
network, 4(6)497--543, 8(2)127--161, 11(4)402--425, 12(2)120--144,
20(6)619--635, 22(6)681--711, 25(5)723--742, 25(5)801--832,
27(1)79--102, 27(2)397--421, 29(3)559--579, 29(6)1051--1086,
31(1)27--46, 32(1)71--111, 33(3)407--435, 33(3)437--455,
33(4)519--545, 33(6)989--1007, 33(6)1249--1277
-
neural, 33(3)407--435, 33(3)437--455, 33(4)519--545
-
neurobiological, 26(6)1169--1204
-
New, 13(3)341--363
-
NewThink, 7(6)704--727
-
Neykova, Rumyana, 29(5)877--910
-
Neykova:2017:TRM, 29(5)877--910
-
Ng, Yu-Chung, 11(6)591--615
-
Ng, Yu-Chung, see Jackson, Daniel
-
Ngondi, Gerard Ekembe, 33(4)803--826
-
Ngondi:2021:DSC, 33(4)803--826
-
Nickolas, Peter, 6(1)39--59
-
Nickolas:1994:CFL, 6(1)39--59
-
Niehaus, Jürgen, 15(4)390--405,
see Fränzle, Martin
-
Nielsen, Mogens, 1(1)85--114
-
Nielsen:1989:RLM, 1(1)85--114
-
Nielson, Flemming, 23(4)541--565
-
Nielson, Flemming, see Gao, Han
-
Nielson, Hanne Riis, 23(4)541--565
-
Nielson, Hanne Riis, see Gao, Han
-
Nienaltowski, Piotr, 21(4)305--318, 21(4)347--362
-
Nienaltowski:2009:CC, 21(4)305--318
-
Nienaltowski:2009:FAC, 21(4)347--362
-
Nies, Gilles, 31(2)261--285
-
Nies, Gilles, see Bisgaard, Morten
-
Nieto, Leonor Prensa, 19(3)321--341
-
Nieto, Leonor Prensa, see Barsotti, Damián
-
Nipkow, 30(3)491--492
-
Nipkow, Tobias, 1(1)320--338, 10(2)171--186, 31(6)675--698
-
Nipkow, Tobias, see Paulson, Lawrence C.
-
Nipkow:1989:TRB, 1(1)320--338
-
Nipkow:1998:WAR, 10(2)171--186
-
Nishimura, Susumu, 9(1)78--97
-
Nishimura:1997:SFL, 9(1)78--97
-
Nitpick, 11(6)591--615
-
Nitsche, U., 10(4)381--404
-
Nitsche, U., see Ochsenschläger, P.
-
Noël, Philippe, 7(6)587--619
-
Noel:1995:TBS, 7(6)587--619
-
Nogueira, Sidney, 26(3)441--490
-
Nogueira:2014:TGS, 26(3)441--490
-
nominal, 20(4)451--479
-
Non--Deterministic, 12(6)443--458
-
non-blocking, 25(6)893--931
-
non-controllable, 20(6)597--617
-
non-determinism, 3(2)110--128
-
non-deterministic, 16(1)5--18, 20(6)597--617
-
Non-Deterministic, Quasi-, 12(6)423--442
-
non-functional, 24(2)163--186
-
non-interference, 20(3)259--275, 26(1)169--194
-
non-interleaving, 1(1)213--228
-
non-linear, 27(5)805--829
-
non-repudiation, 17(3)260--276
-
non-structural, 9(1)49--67
-
non-Zeno, 22(3)217--241
-
Nondeterminacy, 10(1)76--96
-
nondeterminism, 7(1)37--53, 18(3)288--307, 25(2)159--187
-
nondeterministic, 2(1)167--195, 29(2)335--364, 30(2)319--332
-
noninterference, 24(1)3--26, 24(4)769--792, 25(1)3--35, 29(6)1087--1120
-
nonlinear, 25(3)389--403, 33(3)385--406
-
normal, 8(6)679--705
-
Normalising, 3(3)218--252
-
Norman, Gethin, 14(3)295--318, 17(2)160--176, 24(4)661--670,
32(2)157--186
-
Norman, Gethin, see Fraser, Douglas,
see Kwiatkowska, Marta
-
Norman:2005:UPM, 17(2)160--176
-
North, Siobhán, 23(1)43--71, see Derrick, John
-
not, 17(2)222--257, 20(3)295--301
-
Notarmarco, Christiane, 3(4)367--376, 16(1)4--4
-
Notarmarco, Christiane, see Jones, C. B.
-
Notarmarco:1991:FAC, 3(4)367--376
-
Notational, 14(2)99--107
-
Notations, 10(3)233--242
-
note, 7(2)113--149, 10(2)160--170, 13(3)195--195
-
notions, 24(4)769--792
-
Notkin, D., 10(3)193--213
-
Notkin, D., see Dingel, J.
-
novel, 27(5)753--788
-
number, 25(6)993--1016
-
Núñez, Manuel, 16(3)238--262, 24(4)679--699,
see Hierons, Robert M.,
see López, Natalia
-
NUT, 12(4)222--224
-
Nys, Vincent, 29(1)125--153
-
Nys:2017:ACP, 29(1)125--153