Index file section O for tcs1985.bib

Last update: Thu Sep 27 02:46:57 MDT 2018               

Return to index directory

O

• object, 48(2)257--272, 48(2)297--328, 57(1)113--129, 59(1)85--114, 61(2)225--258, 62(0)3--233, 62(1)3--38, 63(1)63--90
• object-oriented, 60(2)109--176
• objective, 38(2)293--306
• observability, 42(2)123--249
• observable, 37(3)305--336, 64(3)221--269
• observation, 35(1)43--53, 36(1)21--25, 47(2)131--147, 49(2)87--112, 49(2)z--z, 53(2)225--241, 60(1)1--82, 66(1)45--53
• observational, 39(1)27--45, 39(1)z--z, 69(1)69--115
• observer, 50(3)241--284
• obtained, 36(1)119--125, 39(2)281--295
• occam, 60(2)177--229
• occurrence, 48(1)35--52, 55(1)87--136, 65(2)149--152
• Ochmanski, Edward, 64(3)281--304
• Ochmanski, Edward, see Mazurkiewicz, Antoni
• off, trade-, 43(2)345--350
• Office, 62(1)3--38
• Ogden, 56(3)321--338
• Okamoto, T., 43(2)277--291
• Okamoto, T., see Suzuki, I.
• Okawa, S., 35(2)261--269, 44(2)225--228
• Okawa, S., see Hirose, S.
• Okawa:1986:IHC, 44(2)225--228
• Olderog, E.-R., 49(2)87--112
• Olderog, E.-R., see de Bakker, J. W.
• omega, 46(2)197--217, 48(1)75--94, 49(1)1--12, 53(2)187--200, 58(1)231--248
• omega-completeness, 43(2)149--167
• omega-conjunctions, 35(1)43--53
• omega-extended, 43(2)277--291
• omega-language, 35(1)115--122
• Omega-Languages, 61(2)137--147
• omega-languages, 39(2)333--335, 43(1)107--115, 46(1)101--106, 49(1)1--12, 58(1)231--248, 61(2)137--147
• omega-power, 53(2)187--200
• Omega-Regular, 61(2)137--147
• omega-regular, 36(2)217--229, 46(1)91--99
• omega-sups, 43(2)251--263
• omega-tree, 44(3)259--274
• omega-type, 43(1)107--115
• omega-words, 46(1)83--89
• Omn, 54(2)237--247
• On, 52(1)37--58, 61(2)317--320
• on-line, 41(2)331--339, 66(3)273--287
• one, 37(3)357--360, 39(2)267--280, 56(2)223--231, 64(1)39--53
• One, Many-, 58(1)175--181
• one, many-, 39(2)207--224, 68(3)267--276
• one, one-, 38(2)157--165, 47(3)263--276
• one-dimensional, 64(3)343--350
• one-one, 38(2)157--165, 47(3)263--276
• one-reset, 58(1)69--80
• one-reversal, 58(1)69--80
• one-sided, 52(1)15--36
• one-sorted, 46(2)239--259
• One-step, 56(2)223--231
• one-tape, 40(2)175--193
• one-variable, 66(3)289--297
• one-way, 39(2)89--106, 47(2)149--158, 47(3)263--276, 48(2)153--181, 57(2)225--238, 68(1)19--36
• online, 41(2)331--339, 53(1)151--167, 66(3)273--287
• Online, Systems-, 63(1)91--111
• only, 41(2)331--339
• only, read-, 63(2)203--221
• op den Akker, R., 66(1)65--85
• opdenAkker:1989:LGL, 66(1)65--85
• open, 38(1)17--33, 52(3)341--342, 64(2)203--219
• Operating, 36(1)1--19, 38(2)193--122, 55(1)1--45
• operation, 35(2)271--293, 36(2)291--308, 36(2)333--339, 39(2)327--332, 40(2)257--274, 42(2)123--249, 47(3)237--246, 48(2)145--152, 48(2)273--281, 49(2)185--215, 51(3)281--299, 52(1)1--14, 52(3)251--267, 55(2)183--263, 55(2)265--289, 58(1)175--181, 60(3)297--340, 61(2)199--224, 62(1)3--38, 62(3)235--249, 64(1)119--124, 64(3)221--269, 66(2)157--180, 68(1)71--87
• operational, 45(1)1--61, 46(2)141--158, 58(1)347--359, 59(1)25--84, 60(2)109--176, 69(3)289--318
• operator, 36(1)1--19, 37(1)1--30, 37(3)245--267, 38(2)307--322, 48(1)9--33, 48(2)229--255, 49(2)121--143, 52(3)205--237, 56(1)37--57, 57(2)251--282, 59(1)115--131, 63(3)275--294, 65(2)243--248, 67(2)261--282, 68(3)303--317, 69(1)69--115
• optimal, 39(1)15--25, 39(1)z--z, 45(1)63--86, 53(2)281--293, 53(2)295--306, 59(3)259--276, 59(3)297--307, 61(1)33--47, 63(2)203--221, 64(1)83--96, 64(1)125--132, 64(2)159--173, 66(1)105--111, 66(2)137--155, 66(2)157--180, 67(1)5--18
• optimal, P-, 40(2)195--210
• optimisation, 37(2)151--181, 40(1)67--84, 45(1)87--119, 49(1)81--84, 51(1)53--80, 54(1)87--102, 54(1)129--137, 59(3)297--307, 63(3)295--302, 64(1)107--118, 64(2)159--173
• optimistic, 61(1)49--66
• optimization, 54(1)87--102, 57(1)131--145, 59(3)259--276, 69(1)1--53
• optimized, 63(3)253--274
• optimizers, 62(3)289--310
• optimum, 66(2)181--203
• OR-parallelism, 59(1)133--155
• oracle, 35(2)245--260, 37(1)1--30, 40(1)57--66, 52(1)15--36, 58(1)175--181, 68(1)71--87, 68(3)267--276
• orbit, 44(1)107--110
• order, 38(1)83--98, 40(2)323--328, 41(1)81--93, 49(1)1--12, 52(3)193--203, 55(1)87--136, 57(1)153--159, 59(3)297--307, 60(1)1--82, 61(2)199--224, 63(2)113--139, 64(3)281--304, 66(1)1--14, 66(3)299--321, 68(1)37--47, 68(3)333--342
• order, First-, 48(2)257--272
• order, first-, 41(2)247--269, 41(2)271--287, 47(3)329--334, 48(2)257--272, 50(3)285--321, 54(2)199--214, 56(3)289--301, 57(2)317--325, 58(1)347--359, 61(1)83--92, 66(2)205--232
• order, high-, 42(2)123--249
• order, higher-, 56(3)277--288, 57(1)3--45, 63(2)113--139
• order, quasi-, 38(1)137--142
• order, second-, 37(1)51--75, 39(2)135--153, 44(1)51--68, 46(1)91--99, 55(2)141--181
• order, well-quasi-, 40(2)131--148
• ordered, 39(2)337--342, 40(2)163--174, 49(2)145--169, 57(0)3--159, 57(1)153--159, 60(3)255--283, 64(3)281--304
• ordered, partially-, 45(3)293--351
• ordering, 37(1)77--121, 40(2)323--328, 45(1)1--61, 45(3)293--351, 49(2)185--215, 58(1)3--16, 59(3)211--234, 60(3)255--283, 63(1)43--61, 67(1)37--54, 67(2)283--301
• ordinals, 66(3)333--340
• ordinary, 36(2)291--308
• Orejas, F., 51(1)205--214
• Orejas:1987:CPC, 51(1)205--214
• organisation, 35(2)329--336, 45(3)293--351, 49(2)239--265, 50(2)103--135, 50(2)137--181, 51(1)129--176, 51(1)205--214, 56(3)345--353, 57(1)3--45, 58(1)57--68, 58(1)143--154, 59(3)211--234, 59(3)259--276, 62(3)251--266, 63(2)113--139, 68(1)37--47, 68(1)57--70
• organization, 59(3)259--276, 61(2)175--198, 62(3)251--266
• oriented, 35(2)129--164, 59(1)85--114, 69(3)243--287
• oriented, algebraically-, 63(1)63--90
• oriented, derivation-, 40(2)315--317
• oriented, object-, 60(2)109--176
• original, 37(3)245--267
• Orlowska, E., 36(2)251--264, 43(1)81--89
• Orlowska, E., see Farinas Del Cerro, L.
• Orlowska:1986:SAI, 43(1)81--89
• Orponen, P., 47(2)121--130
• Orponen:1986:CCC, 47(2)121--130
• other, 38(1)123--132, 39(1)47--68, 39(2)337--342, 41(2)325--330, 44(2)209--224, 48(2)283--296, 49(2)171--184, 53(2)345--352, 54(1)87--102, 54(2)181--198, 56(1)3--15, 56(1)17--36, 56(1)59--133, 58(1)183--199, 63(3)253--274, 65(2)213--220, 67(1)37--54, 67(1)55--63, 68(3)239--252, 69(1)1--53
• Ottmann:1989:ICA, 66(0)117--232
• Otto, F., 35(2)227--243, 39(2)319--325, 40(2)101--130, 47(1)27--38, 47(2)225--232, 67(2)143--172, 68(3)319--332
• Otto, F., see Book, R. V., \see{Madlener, K., see Narendran, P.
• Otto, Friedrich, 67(1)19--35
• Otto:1986:USE, 47(2)225--232
• Otto:1989:DCF, 67(1)19--35
• outerplanar, 63(3)295--302, 68(2)155--173
• outfix, 35(2)295--312
• output, 52(3)341--342, 63(1)91--111
• output-lines, 39(2)107--121
• Overflow, 62(3)235--249
• overlap, 47(3)323--328
• Owicki-Gries, 58(1)347--359
• Oyamaguchi, M., 35(2)329--336, 49(1)43--79
• Oyamaguchi:1985:DTE, 35(2)329--336
• Oyamaguchi:1987:CRP, 49(1)43--79