Index file section O for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
O
-
O-model, 122(1)49--68
-
O-semantics, 122(1)49--68
-
object, 70(1)65--72, 70(1)159--178, 75(1)157--215, 76(1)53--91,
77(1)27--71, 79(1)209--226, 81(1)17--34, 85(2)333--351,
87(1)115--142, 90(1)17--36, 90(1)81--93, 90(2)391--432, 91(1)23--55,
103(1)107--135, 111(1)89--101, 115(1)63--75, 116(1)59--94,
118(1)81--98, 119(1)39--62, 127(2)333--350
-
object-oriented, 96(1)73--155, 104(1)89--107, 116(1)59--94,
121(1)113--143, 133(2)205--265, 133(2)361--385, 134(2)287--309
-
observable, 101(2)223--237, 134(1)51--61, 182(1)257--257
-
observation, 112(1)5--52, 114(1)31--61, 114(1)63--91
-
observational, 72(2)265--288, 75(3)223--262, 87(1)97--114,
96(1)249--283, 96(1)z--z, 114(1)63--91
-
Observing, 114(1)31--61
-
obstacles, 84(1)127--150
-
obtaining, 98(2)347--356
-
obtention, 78(1)189--216
-
Occam, 100(1)157--184
-
Occhiuto, M. Eugenia, 107(2)209--252
-
Occhiuto, M. Eugenia, see Bellia, Marco
-
occupancy, 117(1)99--112
-
occur, 71(1)155--174, 94(1)63--69
-
occur-check, 113(1)3--34
-
occurrence, 72(2)133--146, 74(1)71--93, 81(2)305--310, 92(1)165--179,
92(1)191--211, 104(2)185--206, 106(2)327--335, 107(2)253--276
-
Ochmanski, 125(2)167--204
-
octal, 96(2)361--388, 129(2)407--417
-
od, 87(1)189--202
-
odd, 123(1)145--149
-
off-line, 76(2)323--330, 82(1)113--129, 99(2)243--264, 108(2)271--290,
132(1)435--444
-
offline, 128(1)179--210
-
offs, 82(1)85--93
-
offs, trade-, 82(1)85--93
-
Ogiwara, Mitsunori, 112(2)255--275
-
Ogiwara:1993:SHS, 112(2)255--275
-
Ognjanovi{\'c}, Zoran, 129(1)167--186
-
Ognjanovic:1994:TLP, 129(1)167--186
-
Ohlebusch, Enno, 136(2)333--360
-
Ohlebusch:1994:MTT, 136(2)333--360
-
Ohori, A., 76(1)53--91, 91(1)23--55
-
Ohori, A., see Buneman, P.
-
Ohori:1990:STD, 76(1)53--91
-
Ohuchi, A., 103(2)273--282
-
Ohuchi, A., see Kurihara, M.
-
Oi, 125(2)355--360
-
Oi.f/sub, 125(2)355--360
-
Okada, M., 75(1)111--138
-
Okada, M., see Dershowitz, N.
-
Okulicka, F., 74(2)199--216
-
Okulicka:1990:PC, 74(2)199--216
-
old, 71(2)209--226
-
Olderog, E.-R., 80(2)263--288
-
Olderog:1991:CCP, 80(2)263--288
-
Olivi, M., 94(2)175--197
-
Olivi, M., see Baratchart, L.
-
Ollagnier, J. Moulin, 95(2)187--205
-
Ollagnier:1992:PDC, 95(2)187--205
-
Olog, 92(1)87--105
-
Olog/sup, 134(2)493--528
-
Omega, Lambda-Upsilon-, 79(1)37--109
-
omega-algebraic, 115(1)77--106
-
Omega-branching, 86(2)267--275
-
omega-complete, 70(1)65--72, 124(1)149--168
-
omega-continuous, 70(1)65--72, 79(1)137--150
-
Omega-decision, 106(2)351--360
-
omega-languages, 76(2)243--250, 85(1)33--52, 90(2)271--308
-
omega-order, 89(1)137--159
-
omega-regular, 96(2)345--360, 97(1)131--142
-
omega-transduction, 76(2)243--250
-
omega-transductions, 76(2)243--250
-
omega-words, 103(1)143--159, 110(1)1--51
-
On, 106(2)391--393, 206(1)353--354
-
on-line, 82(1)35--49, 92(1)145--164, 95(2)245--261, 112(2)355--369,
120(2)303--310, 125(2)243--257, 127(2)255--267, 128(1)75--97,
130(1)5--16, 130(1)73--84, 130(1)163--174
-
once, read-, 107(1)63--76, 107(1)135--144
-
once-only, read-, 86(2)267--275
-
one, 73(3)265--278, 75(1)3--13, 96(2)389--403, 96(2)411--419,
112(2)187--214, 118(1)3--20, 118(1)49--65, 119(2)331--343,
123(2)239--258, 123(2)273--289, 132(1)395--401, 134(1)51--61
-
one, dot-depth-, 88(1)99--116
-
one, many-, 75(3)357--363, 81(2)189--199, 97(2)199--215,
115(2)371--381, 132(1)229--241
-
one, one-to-, 76(2)251--260
-
one-counter, 85(1)53--74, 97(2)245--262, 108(2)393--400, 112(2)187--214
-
one-dimensional, 84(2)293--311, 112(2)399--412, 115(2)321--349,
127(2)229--254
-
one-head, 88(2)297--311
-
one-letter, 73(3)279--294, 131(2)311--330, 132(1)71--84, 134(1)27--50
-
one-place, 74(2)249--251
-
one-symbol, 110(1)53--78
-
one-tape, 82(1)113--129, 85(1)205--212, 108(2)271--290
-
one-to-one, 76(2)251--260
-
one-way, 81(1)155--163, 83(2)337--343, 84(1)23--52, 85(1)53--74,
85(1)135--153, 88(2)287--296, 96(2)305--324, 96(2)411--419,
108(2)393--400, 119(2)233--245, 127(2)395--402, 129(2)309--321,
132(1)259--290
-
one-word-decreasing, 112(2)255--275
-
online, 95(2)245--261, 100(1)105--135, 112(2)355--369, 113(1)75--91,
127(2)255--267, 128(1)75--97, 128(1)179--210, 130(1)5--16,
130(1)49--72, 130(1)73--84, 130(1)125--138, 130(1)139--161,
130(1)163--174
-
only, 96(2)411--419, 120(2)197--213
-
only, Constant-, 135(1)155--169
-
only, constant-, 135(1)155--169
-
only, read-, 98(2)347--356
-
only, read-once-, 86(2)267--275
-
only, write-, 108(2)271--290
-
Onm, 134(2)493--528
-
On/sup, 132(1)1--35
-
onto, 79(1)227--239
-
Oommen, B. J., 74(2)183--197
-
Oommen, B. John, 119(2)355--361
-
Oommen:1990:DOE, 74(2)183--197
-
Oommen:1993:OAL, 119(2)355--361
-
Oostrom, Vincent van, 121(1)279--308, 126(2)259--280
-
Oostrom, Vincent van, see Klop, Jan Willem
-
open, 74(1)19--35, 74(1)71--93, 93(1)143--157, 94(1)63--69, 95(1)75--95,
103(2)283--309, 111(1)191--210, 122(1)3--47
-
open-endedness, 89(1)179--206
-
operating, 74(2)199--216, 75(1)15--43, 94(1)125--140, 95(1)1--42,
96(1)3--33, 96(1)175--215, 96(1)z--z, 113(2)231--258,
128(1)211--239, 130(1)17--47, 133(2)341--359
-
operation, 71(3)425--429, 72(2)203--223, 73(2)213--230, 76(2)261--271,
77(1)27--71, 78(2)377--381, 79(2)357--358, 84(2)293--311,
87(1)43--80, 88(1)127--138, 88(1)139--150, 89(2)207--343,
91(1)71--84, 92(1)49--76, 95(2)245--261, 99(2)243--264,
101(2)177--221, 103(2)283--309, 105(2)217--273, 107(2)333--347,
109(1)257--274, 110(1)99--129, 110(2)405--418, 111(1)89--101,
112(2)291--309, 115(1)131--149, 116(1)33--57, 116(1)195--226,
117(1)39--43, 117(1)187--198, 117(1)289--301, 119(1)23--38,
119(1)103--125, 119(2)355--361, 125(2)229--241, 125(2)315--328,
125(2)345--353, 126(2)183--235, 127(2)255--267, 129(2)397--406,
130(1)49--72, 130(1)73--84, 130(1)125--138, 132(1)129--150,
133(1)141--164, 133(2)421--442
-
operational, 71(2)193--208, 71(2)z--z, 75(1)15--43, 75(1)45--66,
75(3)223--262, 76(2)179--222, 78(1)189--216, 82(2)403--408,
83(1)71--96, 86(1)3--33, 86(1)93--106, 90(1)127--149, 96(1)3--33,
96(1)217--248, 97(1)83--103, 101(2)239--263, 105(2)217--273,
111(1)3--57, 114(1)149--171, 118(2)231--262, 118(2)263--299,
119(1)39--62, 119(1)63--102, 122(1)165--200, 122(1)201--223,
124(2)273--295, 128(1)159--177, 131(1)29--94, 136(1)243--275
-
opérations, 117(1)187--198
-
operator, 71(2)193--208, 75(1)45--66, 75(3)223--262, 76(2)273--284,
79(1)3--24, 79(1)111--135, 82(2)285--302, 83(2)261--273,
87(1)43--80, 87(1)209--220, 87(2)263--286, 88(2)351--363,
93(2)227--244, 95(1)97--113, 97(1)175--181, 97(2)183--198,
97(2)217--231, 105(1)85--128, 105(1)141--166, 111(1)191--210,
113(2)293--348, 114(1)119--147, 114(2)247--272, 114(2)317--330,
117(1)113--130, 118(2)301--314, 121(1)71--88, 121(1)411--440,
125(2)329--337, 128(1)159--177, 131(1)139--179, 132(1)71--84,
133(1)23--33, 133(2)341--359, 134(1)79--86
-
opfibration, 131(1)29--94
-
Opt, 97(2)183--198
-
optimal, 71(3)401--411, 74(1)95--114, 74(2)183--197, 76(1)93--114,
76(2)331--341, 77(3)291--308, 80(1)105--115, 81(2)257--268,
82(1)113--129, 82(1)157--163, 84(1)127--150, 84(2)179--197,
85(1)155--170, 86(2)365--375, 87(2)251--262, 92(1)33--47,
92(1)87--105, 92(1)z--z, 93(2)245--264, 106(2)361--371,
108(2)271--290, 111(1)191--210, 115(2)351--357, 119(2)355--361,
120(2)197--213, 120(2)261--278, 123(2)377--388, 125(1)91--109,
127(2)395--402, 128(1)179--210, 129(2)323--336, 130(1)17--47,
132(1)403--414, 134(2)263--285, 134(2)559--565
-
optimality, 93(2)279--301
-
optimally, 71(3)401--411, 134(2)263--285
-
optimisation, 76(1)143--177, 84(1)77--105, 92(1)49--76, 92(1)181--189,
94(2)175--197, 97(1)105--130, 97(1)175--181, 99(1)157--176,
102(1)185--205, 102(2)253--281, 104(2)285--298, 106(2)361--371,
107(1)145--163, 110(1)215--245, 123(1)9--19, 125(1)17--43,
128(1)179--210, 129(2)323--336, 130(1)73--84, 132(1)347--375,
133(1)85--94, 133(1)105--140, 134(2)263--285, 134(2)559--565
-
optimistic, 128(1)63--74
-
optimization, 71(2)265--279, 76(1)143--177, 80(2)303--318,
81(2)317--324, 82(1)1--18, 84(1)77--105, 84(2)179--197, 90(1)17--36,
90(1)61--79, 94(2)175--197, 97(1)105--130, 99(1)157--176,
104(2)285--298, 107(1)3--30, 107(1)145--163, 116(1)59--94,
118(2)231--262, 123(1)9--19, 125(1)17--43, 128(1)179--210,
134(2)493--528
-
optimize, 128(1)241--252
-
optimizing, 73(2)231--248, 80(1)105--115, 129(2)323--336
-
OR, exclusive-, 120(2)215--227
-
OR-compositional, 122(1)3--47
-
oracle, 74(2)217--225, 74(3)325--328, 75(3)335--346, 81(1)35--47,
81(1)77--95, 82(1)1--18, 82(1)51--69, 82(2)329--339, 84(2)199--223,
88(1)1--14, 88(2)231--251, 92(2)301--307, 92(2)309--318,
93(2)265--277, 97(2)183--198, 99(2)279--290, 102(2)215--252,
107(1)95--120, 120(1)69--81, 127(1)99--121, 132(1)435--444,
134(2)545--557
-
oracle-restricted, 88(1)1--14
-
orbit, 123(1)55--60, 131(2)449--461
-
order, 70(1)65--72, 70(1)127--150, 74(1)37--69, 74(2)121--162,
74(2)183--197, 75(3)289--309, 79(2)295--321, 83(2)287--300,
84(2)165--177, 87(1)81--96, 87(1)97--114, 89(1)3--32, 90(1)185--198,
92(2)227--248, 94(1)63--69, 98(1)53--63, 98(1)z--z, 101(2)265--288,
105(2)217--273, 106(2)361--371, 108(1)z--z, 111(1)3--57,
111(1)89--101, 112(1)5--52, 115(1)77--106, 116(1)117--149,
116(2)227--290, 117(1)91--98, 118(2)231--262, 119(2)267--291,
121(1)351--409, 124(1)1--40, 126(2)143--182, 133(1)35--47,
134(1)87--105, 134(1)253--262, 134(1)z--z, 136(1)79--107,
136(2)507--526
-
order, First-, 135(1)139--153
-
order, first-, 73(1)47--60, 85(2)213--229, 93(2)169--183,
94(1)63--69, 95(1)75--95, 96(1)249--283, 97(1)157--173,
100(1)45--66, 102(1)207--214, 103(2)387--394, 104(1)109--128,
104(1)129--159, 105(1)57--84, 106(2)337--349, 108(1)83--102,
111(1)145--189, 111(1)211--252, 111(1)253--290, 112(1)99--143,
113(1)3--34, 118(2)167--191, 118(2)231--262, 120(1)69--81,
122(1)69--96, 123(1)31--53, 123(1)117--130, 124(2)221--272,
126(1)97--112, 127(1)1--23, 131(1)95--120, 133(2)307--340,
135(1)139--153
-
order, gap-, 116(1)117--149
-
order, Higher-, 114(2)273--298
-
order, higher-, 71(2)227--239, 75(1)111--138, 89(1)63--106,
91(1)23--55, 100(2)385--417, 103(2)235--271, 133(2)267--306,
136(1)125--162
-
order, omega-, 89(1)137--159
-
order, partial-, 91(2)205--238, 120(1)101--121
-
order, second-, 80(2)153--202, 87(1)25--41, 88(1)139--150,
89(1)137--159, 97(1)157--173, 101(1)3--33, 101(1)35--57,
103(1)143--159, 103(2)395--408, 109(1)49--82, 111(1)59--88,
111(1)z--z, 126(1)53--75, 126(1)97--112
-
order, third-, 89(1)137--159
-
order-definable, first-, 120(1)69--81
-
order-sorted, 72(2)169--202, 72(2)z--z, 73(2)177--211, 89(1)3--32,
94(1)1--35, 105(1)141--166, 105(2)217--273, 112(1)145--185
-
order-theoretic, 119(1)103--125, 123(1)9--19
-
ordered, 83(2)275--285, 92(1)33--47, 98(1)79--97, 133(1)15--22,
136(1)79--107
-
ordered, many-, 83(2)275--285
-
ordering, 72(2)169--202, 75(3)223--262, 82(1)157--163, 85(1)75--95,
101(2)177--221, 104(1)29--51, 105(1)129--140, 105(2)217--273,
106(1)119--134, 109(1)225--256, 113(1)35--54, 114(1)63--91,
116(2)291--303, 129(2)293--307, 134(2)493--528, 135(2)345--359
-
orderings, well-quasi-, 70(1)151--158
-
ordinary, 84(2)265--279
-
Orefice, S., 120(1)45--68
-
Orefice, S., see Nota, G.
-
organisation, 71(3)419--424, 72(2)97--117, 72(2)147--167, 75(3)223--262,
76(1)53--91, 77(1)161--194, 79(2)275--294, 83(2)275--285,
84(1)107--126, 85(1)97--116, 87(1)115--142, 87(1)143--162,
91(2)239--264, 91(2)285--313, 92(1)191--211, 93(2)201--225,
94(1)1--35, 95(2)245--261, 96(1)249--283, 100(2)267--302,
101(2)177--221, 103(2)335--363, 104(1)89--107, 104(1)129--159,
106(1)21--60, 106(2)391--393, 107(1)121--133, 108(2)345--356,
109(1)257--274, 111(1)191--210, 112(1)99--143, 112(2)339--354,
113(1)35--54, 113(2)273--291, 116(1)59--94, 116(2)227--290,
116(2)359--371, 117(1)131--136, 117(1)303--313, 118(1)21--48,
118(1)81--98, 119(2)233--245, 119(2)331--343, 119(2)355--361,
120(1)101--121, 121(1)113--143, 122(1)263--283, 123(1)9--19,
124(1)93--125, 124(1)127--148, 124(1)149--168, 125(2)259--293,
127(2)387--393, 128(1)3--30, 129(2)397--406, 130(1)85--99,
130(1)139--161, 131(1)29--94, 131(2)295--310, 132(1)151--178,
132(1)377--385, 134(2)473--491, 136(1)79--107, 136(1)109--123
-
organization, 93(2)201--225, 100(1)223--241, 119(2)355--361,
128(1)211--239
-
organization, self-, 133(1)49--64
-
organizing, 74(2)183--197
-
organizing, self-, 74(2)183--197
-
orientations, 86(2)243--266
-
oriented, 87(1)115--142, 90(1)171--184, 119(1)z--z
-
oriented, attribute-, 133(2)361--385
-
oriented, capacity-, 128(1)179--210
-
oriented, computer-, 113(2)191--210
-
oriented, constraint-, 89(1)179--206
-
oriented, list-, 93(1)75--89
-
oriented, Object-, 96(1)73--155, 104(1)89--107, 116(1)59--94,
121(1)113--143, 133(2)205--265, 133(2)361--385, 134(2)287--309
-
oriented, object-, 96(1)73--155, 104(1)89--107, 116(1)59--94,
133(2)205--265, 133(2)361--385, 134(2)287--309
-
oriented, performance-, 128(1)179--210
-
oriented, Problem-, 119(1)173--185
-
oriented, problem-, 119(1)173--185
-
oriented, resource-, 89(1)179--206
-
oriented, set-, 133(2)361--385
-
oriented, specification-, 131(1)219--241
-
oriented, state-, 89(1)179--206, 104(1)53--87
-
orthogonal, 72(2)147--167, 79(1)227--239, 103(2)409--420,
117(1)153--167
-
orthogonality, 89(1)179--206, 121(1)279--308
-
orthogonaux, 117(1)153--167
-
orthogroups, 134(1)189--208
-
OSA, 105(2)217--273
-
OT, 82(1)141--149
-
Othello, 123(2)329--340
-
other, 71(2)177--191, 71(2)193--208, 71(2)209--226, 71(2)227--239,
71(2)z--z, 73(2)231--248, 74(1)95--114, 74(2)163--181,
74(2)183--197, 74(3)253--271, 77(1)73--95, 77(1)195--219,
78(1)3--83, 80(1)105--115, 80(2)303--318, 81(2)237--256,
84(1)77--105, 84(1)127--150, 86(2)205--232, 90(2)271--308,
92(2)249--268, 100(1)105--135, 104(2)299--312, 108(2)291--310,
112(2)383--390, 121(1)351--409, 122(1)165--200, 123(2)291--314,
125(2)329--337, 128(1)99--125, 129(2)279--291, 129(2)407--417,
130(1)17--47, 130(1)203--236, 133(1)15--22
-
Otto, F., 113(1)119--165
-
Otto, F., see Madlener, K.
-
Otto, Friedrich, 131(2)271--294, 134(1)175--188
-
Otto, Friedrich, see Squier, Craig C.
-
Otto:1994:CMF, 134(1)175--188
-
Oussous, N. E., 79(1)195--207
-
Oussous:1991:CMM, 79(1)195--207
-
out, time-, 101(2)289--335
-
out-degree, 86(2)243--266
-
outcomes, 101(2)223--237
-
outerplanar, 71(3)401--411, 89(1)33--62
-
output, 79(1)163--177, 108(2)271--290, 128(1)127--157, 128(1)211--239,
129(2)323--336, 134(1)225--251
-
output, input-, 94(1)125--140, 101(2)177--221, 123(2)389--395,
128(1)211--239
-
overlap-free, 115(2)243--260
-
overlapping, 95(2)187--205, 128(1)211--239
-
overloaded, 94(1)1--35
-
overloading, 105(2)217--273
-
overview, 133(2)205--265, 133(2)307--340
-
Owe, Olaf, 114(2)317--330
-
Owe, Olaf, see Elvang-G{\o}ransson, Morten
-
OWHY, 121(1)411--440
-
owner, 123(2)415--426