Index file section N for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
N
-
N, 19(4)30--30, 20(3)17--17
-
n, 11(3)18--18, 14(2)8--8, 14(2)13--13, 14(4)25--25, 14(4)31--31,
15(1)6--6, 16(2)16--16, 17(3)19--19, 19(3)18--18, 20(2)11--11
-
N, 2-, 17(4)30--30
-
Nagarajan, Rajagopal, 19(4)28--28
-
Nagarajan, Rajagopal, see Ardeshir-Larijani, Ebrahim
-
naïve, 16(1)8--8
-
Nalewaja, Piotr, Ostropolski-, 24(2)16--16
-
Nalon, Cláudia, 20(4)23--23, 22(2)9--9,
see Lopes, Bruno
-
Nalon:2019:MRP, 20(4)23--23
-
name, 13(2)10--10, 13(3)20--20, 13(3)24--24, 19(3)23--23, 20(4)22--22,
21(4)30--30
-
name, call-by-, 10(2)12--12, 13(2)18--18
-
name-binding, 13(2)10--10
-
name-swapping, 13(2)10--10
-
named, 9(1)3--3, 9(4)29--29, 12(3)21--21, 13(2)18--18, 16(3)24--24,
19(1)6--6, 20(4)22--22
-
namely, 2(1)12--56, 2(1)57--92, 8(3)14--14, 9(3)15--15, 10(3)18--18,
10(4)25--25, 13(2)11--11, 13(2)12--12, 16(1)7--7, 16(3)21--21,
17(3)16--16, 17(4)23--23, 18(1)5--5, 18(2)12--12, 18(2)16--16,
18(4)28--28, 18(4)29--29, 21(4)28--28, 22(2)12--12, 22(3)16--16,
22(4)26--26
-
namely, proofs-, 18(2)11--11
-
Namjoshi, Kedar S., 11(3)16--16
-
Namjoshi:2010:CCR, 11(3)16--16
-
Nanevski, Aleksandar, 9(3)23--23
-
Nanevski:2008:CMT, 9(3)23--23
-
Nanni, Mirco, 1(2)208--246
-
Nanni, Mirco, see Dix, Jürgen
-
Nanz, Sebastian, 12(3)18--18
-
Nanz, Sebastian, see Nielson, Flemming
-
Nardi, Daniele, 3(2)177--225, 10(1)5--5
-
Nardi, Daniele, see Donini, Francesco M.,
see Iocchi, Luca
-
Narendran, Paliath, 4(1)33--55
-
Narendran, Paliath, see Comon, Hubert
-
narrow, 12(2)9--9, 17(3)19--19, 19(1)1--1
-
narrowing, 10(2)10--10
-
Nash, 13(4)33--33, 16(4)33--33, 22(2)8--8
-
Naso, Chiara, 24(4)28--28
-
Naso, Chiara, see Ghilardi, Silvio
-
natural, 1(1)162--170, 1(2)175--207, 1(2)247--284, 2(1)1--11, 2(1)57--92,
2(3)388--407, 8(3)18--18, 9(1)3--3, 9(3)18--18, 10(4)26--26,
11(4)22--22, 11(4)23--23, 11(4)26--26, 13(1)5--5, 13(2)12--12,
13(3)25--25, 14(1)1--1, 14(1)2--2, 14(1)5--5, 14(2)9--9, 15(1)9--9,
16(2)11--11, 16(2)17--17, 16(3)25--25, 17(1)6--6, 17(2)10--10,
17(3)15--15, 17(3)18--18, 17(4)32--32, 18(3)21--21, 18(4)31--31,
19(1)3--3, 19(2)11--11, 19(2)12--12, 19(2)15--15, 19(3)17--17,
19(3)20--20, 19(3)23--23, 19(4)26--26, 19(4)30--30, 20(1)1--1,
20(1)2--2, 20(1)4--4, 20(3)15--15, 22(3)19--19, 23(3)16--16,
23(4)21--21
-
naturally, 8(3)17--17, 8(4)23--23, 9(3)21--21, 9(4)27--27, 11(3)20--20,
11(4)26--26, 12(2)12--12, 13(1)7--7, 14(4)27--27, 22(1)5--5
-
naturalness, 23(4)26--26
-
nature, 9(1)7--7, 9(2)13--13, 11(3)16--16, 11(4)26--26, 13(2)11--11,
16(1)1--1, 16(4)33--33, 19(3)21--21, 21(3)21--21, 24(4)33--33
-
Naumov, Pavel, 13(3)22--22, 18(4)32--32, 22(3)17--17
-
Naumov, Pavel, see Deuser, Kaya,
see More, Sara Miner
-
Naumov:2017:IFU, 18(4)32--32
-
navigation, 18(2)10--10
-
navigational, 17(2)14--14, 17(4)32--32
-
NBP, 22(4)26--26
-
NBW, 13(4)29--29
-
NCW, 13(4)29--29
-
NE, 17(4)31--31
-
NE, 2-, 19(2)8--8
-
NE, 3-, 15(1)8--8
-
nearly, 14(2)14--14
-
Nebel, 11(3)15--15
-
necessarily, 8(4)21--21, 15(4)35--35, 16(4)35--35, 18(3)25--25
-
necessary, 2(1)57--92, 13(3)20--20, 14(1)4--4, 14(4)26--26, 15(1)5--5,
15(1)6--6, 15(2)16--16, 15(4)33--33, 17(3)22--22, 18(4)26--26,
20(2)11--11, 20(3)16--16, 20(4)22--22, 23(4)22--22
-
necessity, 9(3)23--23
-
need, 1(1)33--59, 2(1)93--134, 2(3)408--429, 11(3)16--16, 12(1)1--1,
13(2)11--11, 13(2)16--16, 13(4)30--30, 14(2)10--10, 15(3)21--21,
15(4)33--33, 15(4)34--34, 16(1)3--3, 16(1)6--6, 18(2)10--10,
18(3)21--21, 19(4)31--31, 20(4)20--20
-
needed, 10(4)25--25, 11(3)16--16, 13(2)16--16, 15(1)9--9, 16(1)3--3,
16(4)28--28, 17(4)23--23, 17(4)24--24, 21(1)4--4, 24(3)23--23,
24(4)28--28
-
Neeman, Itay, 12(2)9--9
-
Neeman, Itay, see Gurevich, Yuri
-
Negated, 19(1)3--3
-
negation, 3(2)177--225, 6(2)328--360, 8(3)17--17, 10(2)12--12,
12(2)11--11, 12(2)17--17, 14(2)16--16, 15(1)7--7, 17(2)8--8,
18(1)1--1, 20(3)18--18
-
negation, conjunction-disjunction-, 23(4)26--26
-
negation-as-failure, 6(2)441--467
-
negative, 9(3)15--15, 14(3)24--24, 15(4)27--27, 15(4)34--34, 16(2)10--10,
17(1)2--2, 17(2)14--14, 17(3)22--22, 18(2)16--16, 19(1)1--1,
20(4)22--22, 20(4)23--23
-
negative, non-, 12(2)12--12
-
neglected, 17(3)18--18, 17(3)20--20, 18(1)6--6
-
negligeable, non-, 15(3)24--24
-
negligible, 15(3)24--24
-
negotiation, 10(1)1--1, 15(2)12--12
-
Negotiations, 15(2)12--12
-
Neider, Daniel, 19(2)10--10, 23(2)8--8
-
Neider, Daniel, see Anevlavis, Tzanis
-
Neider:2018:CSP, 19(2)10--10
-
neighborhood, 1(1)33--59, 1(1)112--130, 2(1)135--153
-
neighboring, 16(3)27--27, 17(2)10--10
-
Neither, 17(1)5--5
-
NEL, 12(4)23--23
-
Nelson-Oppen, 9(2)8--8
-
Nenov, Yavor, 14(2)13--13
-
Nenov, Yavor, see Kontchakov, Roman
-
Nerode, Myhill-, 16(1)1--1
-
NesETril, Jaroslav, 21(4)29--29
-
NesETril, Jaroslav, see Gajarský, Jakub
-
nested, 6(2)232--272, 9(1)3--3, 10(4)24--24, 13(2)11--11, 13(3)27--27,
14(2)8--8, 14(2)11--11, 14(4)34--34, 15(4)34--34, 18(4)31--31,
20(2)7--7, 20(2)10--10, 22(3)19--19
-
nesting, 15(1)6--6, 16(4)34--34, 21(3)19--19
-
net, 6(4)784--842, 7(3)473--498, 12(4)27--27, 14(1)5--5, 15(4)26--26,
18(3)24--24, 20(3)17--17, 22(2)9--9
-
net, contract-, 10(1)1--1
-
net, proof-, 10(4)25--25
-
Nets, Proof-, 19(4)25--25
-
nets, proof-, 19(4)25--25
-
network, 1(1)162--170, 9(4)27--27, 10(1)3--3, 12(1)5--5, 14(2)9--9,
14(2)10--10, 16(2)11--11, 19(4)28--28, 20(4)19--19, 23(1)4--4
-
Neuen, Daniel, 24(1)6--6
-
Neuen, Daniel, see Grohe, Martin
-
Neven, Frank, 4(3)315--354, 5(3)403--435, 8(2)z--z, 13(1)4--4, 18(1)5--5,
19(2)14--14, 20(3)18--18
-
Neven, Frank, see Alon, Noga,
see Ameloot, Tom J.,
see Benedikt, Michael, \see{Geck, Gaetano,
see Gelade, Wouter
-
Neven:2004:FSM, 5(3)403--435
-
Neven:2018:FSM, 19(2)14--14
-
never, 8(3)15--15, 8(3)16--16, 8(4)20--20, 9(4)27--27, 13(1)1--1
-
nevertheless, 10(2)11--11, 17(1)1--1
-
newer, 21(1)2--2
-
newly, 18(2)16--16
-
news, 16(1)1--1
-
Newton, Jim, 20(1)6--6
-
Newton:2019:TNA, 20(1)6--6
-
NEXP, 5(4)669--705
-
NEXP-complete, 16(1)9--9
-
NEXP-hardness, 16(1)9--9
-
NExpTime, 19(2)8--8
-
NExptime, 18(2)10--10
-
NEXPTIME-complete, 9(4)28--28, 17(4)32--32
-
NExpTime-complete, 13(3)21--21, 17(4)31--31
-
NEXPTIME-complete, co-, 20(2)11--11
-
NEXPTIME-completeness, 20(2)11--11, 21(1)7--7
-
NEXPTIME-hard, 22(4)24--24
-
next, 12(4)23--23, 14(2)14--14, 15(4)33--33, 19(2)14--14, 20(3)13--13,
21(2)14--14
-
Nguyen, Linh Anh, 13(4)32--32
-
Nguyen, Linh Anh, see Madali{\'n}ska-Bugaj, Ewa
-
Nguyen, Ngoc-Hieu, 15(2)12--12
-
Nguyen, Ngoc-Hieu, see Son, Tran Cao
-
Nguyen, Phuong, 13(1)9--9
-
Nguyen:2012:CPD, 13(1)9--9
-
NIA, Max-SMTQF-, 20(4)25--25
-
NIA, SMTQF-, 20(4)25--25
-
nice, 1(1)33--59
-
niche, 14(1)1--1
-
Nicola, Rocco, De, 5(1)79--128
-
Nicolini, Enrica, 9(2)8--8
-
Nicolini, Enrica, see Ghilardi, Silvio
-
Nielsen, 9(1)6--6, 20(3)17--17
-
Nielson, Flemming, 12(3)18--18
-
Nielson, Hanne Riis, 12(3)18--18
-
Nielson, Hanne Riis, see Nielson, Flemming
-
Nielson:2011:MAC, 12(3)18--18
-
Niemelä, Ilkka, 7(1)1--37, 21(4)33--33,
see Bomanson, Jori, \see{Janhunen, Tomi
-
Nieuwenborgh, Davy, Van, 9(4)26--26
-
Nieuwenhuis, Robert, 4(1)33--55, 5(2)321--331
-
Nieuwenhuis, Robert, see Comon, Hubert,
see Godoy, Guillem
-
Nieva, Susana, 21(2)13--13
-
Nieva, Susana, see Montenegro, Manuel
-
Nishida, Naoki, 18(2)14--14
-
Nishida, Naoki, see Fuhs, Carsten
-
Nixon, 16(4)32--32
-
NL, 15(3)25--25
-
NL-complete, 12(2)13--13
-
NLOGSPACE-complete, 20(2)11--11
-
node, 11(4)26--26, 12(3)19--19, 14(2)10--10, 15(1)8--8, 15(4)33--33,
17(2)14--14, 18(3)25--25, 18(4)27--27, 20(1)6--6
-
noetherianity, 9(2)8--8
-
Nogueira, Sidney, 21(3)24--24
-
Nogueira, Sidney, see Cavalcanti, Ana
-
noise, 14(4)34--34, 20(4)19--19
-
nominal, 9(4)25--25, 12(2)15--15, 13(2)10--10, 13(3)20--20, 19(1)6--6,
20(4)22--22, 24(4)34--34
-
Nominal, Permissive-, 13(3)20--20
-
nominal, Permissive-, 13(3)20--20
-
Non, 10(4)29--29
-
non-coinductive, 18(1)4--4
-
Non-Commutative, 20(4)22--22
-
non-confluent, 14(1)5--5
-
non-determinism, 14(1)7--7
-
Non-Deterministic, 19(3)21--21
-
non-deterministic, 20(3)13--13
-
non-Dirac, 16(1)2--2
-
non-disjunctive, 16(4)35--35
-
non-elementary, 16(3)20--20
-
non-emptiness, 15(1)8--8, 20(3)14--14
-
non-fibered, 23(3)18--18
-
Non-finite, 15(1)4--4
-
non-Herbrand, 18(2)9--9
-
non-Horn, 1(1)131--161, 14(1)2--2
-
non-invertible, 15(3)21--21
-
Non-Linear, 20(4)25--25
-
non-linear, 20(4)25--25
-
non-monotone, 9(2)14--14
-
non-negative, 12(2)12--12
-
non-negligeable, 15(3)24--24
-
non-normal, 20(2)7--7
-
non-size, 10(4)29--29
-
non-size-increasing, 3(3)383--401
-
non-suspension, 9(3)17--17
-
non-terminating, 23(3)20--20
-
non-trivial, 8(4)19--19, 17(4)26--26, 18(3)21--21
-
non-trivially, 19(2)13--13
-
non-uniform, 18(1)2--2, 18(3)20--20
-
non-unital, 20(1)3--3
-
Non-well-founded, 21(4)31--31
-
non-zero-sum, 13(3)22--22
-
nonabstract, 18(1)7--7
-
nonaccepting, 15(3)24--24
-
nonautomated, 15(4)33--33
-
nonbehavioral, 15(4)34--34
-
noncircular, 11(3)16--16
-
nonclassical, 2(1)12--56
-
noncommutative, 12(4)23--23, 19(1)5--5
-
nonconstructive, 13(2)11--11, 16(4)28--28
-
nonconvex, 15(1)5--5
-
nondeterminism, 2(3)408--429, 9(1)5--5, 17(2)13--13
-
nondeterministic, 1(1)77--111, 2(2)216--254, 2(3)408--429, 9(1)5--5,
9(2)10--10, 9(2)11--11, 10(1)5--5, 12(3)19--19, 13(2)15--15,
13(2)16--16, 13(4)29--29, 14(1)6--6, 14(1)7--7, 14(3)22--22,
14(4)27--27, 15(1)2--2, 15(1)3--3, 16(1)2--2, 16(1)6--6, 17(2)13--13,
17(4)24--24, 19(3)21--21, 20(2)11--11, 22(4)26--26
-
nondeterministically, 9(1)5--5
-
nondichotomous, 16(4)33--33
-
nondistributive, 11(3)20--20
-
none, 14(1)4--4, 15(4)31--31
-
NonElementary, 15(4)34--34
-
nonelementary, 15(2)16--16, 15(4)34--34, 16(1)9--9, 16(2)15--15,
16(3)20--20, 17(2)13--13, 17(3)16--16
-
NonElementary-hard, 15(4)34--34
-
nonemptiness, 12(2)10--10, 12(3)19--19
-
nonempty, 9(3)18--18
-
nonequivalent, 19(3)17--17
-
nonetheless, 16(4)32--32
-
nonexistence, 18(4)27--27
-
nonfocused, 15(3)21--21
-
nonground, 12(3)20--20
-
noninteractive, 1(1)77--111
-
nonisomorphic, 11(4)25--25
-
nonlinear, 1(1)162--170, 19(1)5--5, 19(3)19--19
-
nonlogical, 16(4)33--33
-
nonmonotone, 9(2)14--14
-
nonmonotonic, 1(1)131--161, 1(2)175--207, 2(2)255--287, 2(3)340--387,
3(2)226--278, 6(2)203--231, 6(2)389--440, 8(3)17--17, 8(3)18--18,
9(1)7--7, 10(3)18--18, 11(2)14--14, 12(1)6--6, 12(2)11--11,
12(3)20--20, 14(2)14--14, 14(2)16--16, 16(4)32--32, 17(3)22--22,
17(4)27--27, 20(2)8--8, 22(1)2--2
-
nonmultiply, 17(3)16--16
-
nonparameterized, 16(1)6--6
-
nonpathological, 15(2)13--13
-
nonprimitive, 9(2)10--10, 13(4)34--34, 17(3)16--16
-
nonprobabilistic, 10(3)19--19, 12(1)1--1, 16(1)2--2
-
nonrandoms, 13(3)24--24
-
nontemporal, 9(4)27--27
-
nonterminating, 2(3)408--429, 10(4)27--27
-
nontrivial, 12(2)15--15, 14(3)20--20, 14(4)26--26
-
nonuniform, 11(4)24--24, 13(1)5--5
-
Nordström, 13(2)16--16
-
Nordström, Jakob, 13(2)16--16, 16(4)28--28, 17(3)19--19,
see Atserias, Albert, \see{Filmus, Yuval
-
Nordstrom:2012:RSP, 13(2)16--16
-
norm, 10(1)1--1
-
norm-governed, 10(1)1--1
-
normal, 2(1)12--56, 2(2)255--287, 9(1)6--6, 9(4)26--26, 10(2)10--10,
10(4)25--25, 11(4)28--28, 12(3)20--20, 13(1)2--2, 14(1)2--2,
14(1)3--3, 14(3)18--18, 15(1)10--10, 15(3)19--19, 15(3)21--21,
15(4)32--32, 15(4)34--34, 16(1)9--9, 16(2)13--13, 16(4)28--28,
16(4)35--35, 17(1)7--7, 18(2)9--9, 18(2)17--17, 18(3)21--21,
19(2)9--9, 20(2)7--7, 20(3)15--15, 20(4)23--23, 22(3)19--19
-
normal, Non-, 20(2)7--7
-
normal, non-, 20(2)7--7
-
normalisable, 19(1)3--3
-
normalisation, 19(1)3--3, 20(4)22--22
-
normalisation, head-, 19(1)3--3
-
normality, 17(1)7--7
-
normality,, 17(1)7--7
-
normalization, 10(2)8--8, 10(4)25--25, 11(4)28--28, 13(1)2--2, 19(1)5--5
-
normalizing, 16(2)10--10
-
normative, 2(4)581--622, 10(1)1--1
-
normed, 5(4)577--610
-
notable, 11(4)25--25, 18(3)21--21
-
Notably, 15(1)3--3
-
notations, 1(2)285--320
-
note, 1(1)171--174, 8(3)14--14, 13(3)24--24
-
notorious, 16(3)27--27
-
notoriously, 9(3)17--17
-
Novakovi{\'c}, Novak, 16(3)19--19
-
Novakovic:2015:PSC, 16(3)19--19
-
novel, 2(1)12--56, 9(1)7--7, 9(4)27--27, 12(1)7--7, 12(4)23--23,
13(3)21--21, 14(3)22--22, 15(3)21--21, 17(4)23--23, 18(1)6--6,
19(2)10--10, 19(2)12--12, 19(4)28--28, 20(3)14--14, 20(3)16--16,
20(4)21--21, 20(4)22--22, 20(4)25--25, 22(2)8--8, 24(1)1--1
-
novelty, 15(1)7--7, 20(4)22--22, 21(1)5--5
-
now, 9(2)11--11, 15(4)31--31, 16(3)23--23, 20(3)15--15
-
nowadays, 13(1)6--6
-
NP, 10(1)7--7, 11(4)22--22, 14(2)10--10, 15(1)2--2, 15(1)8--8, 18(2)9--9,
18(2)11--11
-
NP-complete, 6(2)361--388, 9(1)3--3, 9(4)24--24, 12(2)13--13,
12(4)24--24, 13(1)5--5, 13(3)23--23, 14(2)13--13, 15(1)9--9,
15(3)19--19, 16(1)1--1, 17(1)2--2, 17(3)22--22, 18(1)2--2,
18(3)23--23
-
NP-complete, co-, 13(1)5--5
-
NP-completeness, 14(2)10--10
-
NP-hard, 12(2)13--13, 14(1)3--3, 17(2)10--10, 17(3)22--22
-
NPLCS, 9(1)5--5
-
NRA, 19(3)19--19
-
NRAs, 20(2)11--11
-
NRAs, 1-, 20(2)11--11
-
NTA, 19(3)19--19
-
nulls, 22(4)21--21
-
Nullstellensatz, 7(2)199--218
-
number-theoretical, 22(4)25--25, 24(2)11--11
-
numbering, 13(3)24--24, 17(1)7--7
-
numeric, 15(4)27--27, 18(1)7--7
-
numerical, 1(1)162--170, 13(2)12--12, 16(1)6--6, 20(1)6--6, 20(4)19--19
-
numerically, 20(1)6--6
-
numerous, 13(4)29--29, 15(4)31--31, 17(3)22--22
-
Nutt, Werner, 6(2)328--360
-
Nutt, Werner, see Cohen, Sara
-
nuXmv, 19(3)19--19