Index file section P for tcs1985.bib

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

Return to index directory

P

P, 35(1)109--114, 46(2)197--217, 47(2)131--147
p, 64(3)271--280
P, EXPTIM-, 38(2)157--165
P-complete, 43(1)43--58, 51(1)53--80
p-generic, 51(1)177--204
p/-hard, 47(1)85--93
p-immunity, 51(1)177--204
P-optimal, 40(2)195--210
p-parity, 39(2)319--325
P-RAM, 59(3)297--307
P., see Kapur, D.
packet, 48(1)75--94, 53(2)281--293
Paige, R., 40(1)67--84
Paige:1985:LTS, 40(1)67--84
pair, 35(2)179--189, 39(2)337--342, 41(2)223--230, 51(1)27--52, 60(3)285--296, 66(2)117--136, 67(2)203--260, 68(2)155--173
pairing, 44(3)307--331, 55(2)265--289
Palamidessi, C., 69(3)289--318
Palamidessi, C., see Falaschi, M.
palindrome, 56(3)253--275
Palis, M. A., 39(2)89--106, 41(2)231--246, 44(1)111--121, 57(1)47--86, 68(1)19--36
Palis, M. A., see Chang, J. H., see Ibarra, O. H.
palutators, 56(3)253--275
Pan, V., 54(1)65--85
Pan:1987:CPM, 54(1)65--85
Papadimitriou, C. H., 47(2)205--218
Papadimitriou, C. H., see Kirousis, L. M.
paper, 62(0)3--233
paraconsistent, 68(2)135--154
paradigm, 39(2)135--153
Parallel, Digital-, 58(1)249--261, 58(1)347--359, 59(3)277--286, 59(3)297--307, 61(2)121--136, 61(2)199--224, 64(2)159--173, 64(2)191--201, 64(3)271--280, 66(0)117--232, 66(2)117--136
parallel, k-, 45(1)87--119, 62(3)267--287
parallel, series-, 47(1)1--14
parallel-routing, 64(1)83--96
parallelisation, 56(1)17--36
parallelism, 37(3)245--267, 37(3)305--336, 45(1)1--61, 57(2)161--184, 58(1)3--16, 64(2)159--173
parallelism, OR-, 59(1)133--155
parameter, 42(3)251--368, 51(1)205--214, 55(1)47--85
parameter-reduced, 55(1)47--85
Parameter-reduction, 55(1)47--85
parameterized, 50(3)323--349, 51(1)205--214
parametrization, 63(2)113--139
paramodulation, 35(2)129--164
Parberry, I., 43(1)43--58, 51(1)239--247
Parberry, I., see Goldschlager, L. M.
Parberry:1987:TRS, 51(1)239--247
Parchmann, R., 47(2)219--223, 49(1)23--42
Parchmann:1986:SEI, 47(2)219--223
Parchmann:1987:GDM, 49(1)23--42
Pardubska, Dana, 67(1)111--113
Pardubska:1989:NMM, 67(1)111--113
parenthesized, well-, 47(3)335--343
Parigot, M., 39(2)155--169
Parigot:1985:LAP, 39(2)155--169
parity, 47(1)85--93
parity, p-, 39(2)319--325
Parker, D. Stott, 62(1)39--65
Parker, D. Stott, see Atzeni, Paolo
Parrow, J., 68(2)175--202
Parrow:1989:SCE, 68(2)175--202
parsing, 47(3)315--321, 52(1)91--143, 53(2)295--306, 59(3)297--307
part, 58(1)17--56, 63(3)275--294, 68(1)49--56
partial, 36(1)127--137, 37(3)269--304, 39(1)47--68, 39(2)189--206, 40(1)31--55, 40(2)323--328, 43(2)149--167, 45(1)1--61, 48(2)229--255, 53(1)3--24, 55(1)87--136, 57(1)3--45, 59(1)133--155, 60(1)1--82, 60(3)341--381, 61(2)199--224, 62(3)251--266, 63(1)43--61, 63(2)113--139, 63(2)141--156, 64(1)67--81, 64(3)281--304, 65(2)221--242, 66(3)289--297, 67(1)19--35, 67(1)129--139, 67(2)283--301, 68(1)37--47, 68(3)343--346, 69(2)117--242
partial-match, 62(3)251--266
partiality, 67(1)129--139
partially, 35(2)179--189, 41(1)109--112, 46(2)159--174, 48(2)183--199, 48(2)329--337, 49(2)145--169, 52(1)59--75, 57(2)239--249, 58(1)201--208, 64(3)281--304, 66(2)117--136, 67(1)19--35
partially-ordered, 45(3)293--351
partially-specified, 39(2)309--317
partition, 40(1)67--84, 41(2)141--167, 49(2)239--265
partitioning, 49(2)239--265, 49(2)z--z, 54(1)3--28
party, 58(1)231--248
party, two-, 39(2)319--325, 40(2)101--130
Pascal, 56(1)3--15
Pascal-like, 56(1)3--15, 56(1)59--133
Pascal-like, Wirth-, 56(1)3--15
passing, 51(1)205--214
passing, binding-, 62(1)187--220
Passy, Solomon, 61(2)259--277
Passy, Solomon, see Gargov, George
Pasztor, A., 43(2)251--263
Pasztor:1986:SIC, 43(2)251--263
path, 36(1)27--58, 37(1)77--121, 40(2)257--274, 40(2)323--328, 43(2)213--238, 48(2)273--281, 57(1)131--145, 57(1)153--159, 58(1)103--128, 68(1)1--17, 68(2)155--173
Patricia, 58(1)143--154, 68(1)1--17
pattern, 38(2)249--267, 43(1)31--41, 43(2)239--249, 47(1)61--69, 48(2)145--152, 52(3)177--191, 60(3)231--254, 62(3)267--287, 63(1)1--17, 66(1)99--104, 68(2)155--173
Patterson, Sardinas-, 38(1)123--132
Paul, E., 44(2)127--153
Paul:1986:SEP, 44(2)127--153
P{\u{a}}un, G., 41(1)1--17
Paun:1985:VRC, 41(1)1--17
PDL, 61(2)259--277
pdl, 61(2)259--277
pebble, 44(1)111--121, 47(2)205--218, 58(1)209--229
pebble, 1-, 53(2)307--317
pebble, 2-, 53(2)307--317
pebbling, 47(2)205--218
Pecuchet, J.-P., 35(1)115--122, 47(1)95--98
Pecuchet, Jean-Pierre, 58(1)231--248
Pecuchet:1985:TWF, 35(1)115--122
Pecuchet:1986:CBA, 47(1)95--98
Pecuchet:1988:ESP, 58(1)231--248
Pelc, A., 47(1)61--69, 66(1)105--111
Pelc, Andrzej, 63(2)185--202
Pelc:1986:LPS, 47(1)61--69
Pelc:1989:SKE, 63(2)185--202
Pelc:1989:WAC, 66(1)105--111
Peleg, D., 38(2)307--322, 53(2)281--293, 55(1)1--45
Peleg, D., see Harel, D.
Peleg:1987:CPS, 55(1)1--45
Peleg:1987:GPR, 53(2)281--293
Pelin, A., 53(1)125--150
Pelin:1987:BEC, 53(1)125--150
Pelz, E., 39(2)155--169, 41(2)247--269
Pelz, E., see Parigot, M.
Pelz:1985:CTP, 41(2)247--269
Penczek, Wojciech, 64(3)281--304
Penczek, Wojciech, see Mazurkiewicz, Antoni
Perez, Ramon, Pino, 67(1)129--139
perfect, 59(3)297--307, 61(2)121--136
performance, 52(3)269--280, 64(2)175--189
Performance, Digital-, 64(2)175--189, 64(2)203--219
period, 38(2)167--192
periodic, 38(2)167--192, 44(1)107--110, 46(1)83--89, 48(1)101--108, 51(3)255--264
periodicity, 46(1)83--89
permutation, 36(2)265--289, 38(1)83--98, 41(2)247--269, 54(2)181--198, 56(2)211--222, 64(2)135--157, 64(2)191--201, 65(2)221--242
Perrin, 54(2)165--179
Perrin, D., 65(2)171--188
Perrin, D., see Hansel, G.
Perron--Frobenius, 65(2)243--248
persistence, 58(1)155--174
person, two-, 67(1)5--18
PERT, 61(2)175--198
Peterson-Stickel, 67(2)173--201
Petri, 39(2)107--121, 39(2)155--169, 40(2)149--162, 41(2)185--213, 43(1)99--105, 44(3)275--305, 45(3)261--292, 55(1)87--136, 60(1)1--82, 64(1)25--38, 64(1)67--81, 64(3)305--329
Petri-net, coloured-, 35(2)191--214
Pettorossi, A., 53(1)151--167
Pettorossi:1987:DEP, 53(1)151--167
Petuaud, Catherine, 67(1)121--128
Petuaud:1989:ETS, 67(1)121--128
Peyton Jones, S., 56(1)17--36
Peyton Jones, S., see Hankin, C.
Phase, Two-, 58(1)3--16
phases, two-, 58(1)3--16
PHCF, 47(2)131--147
Phillips, I., 50(3)241--284
Phillips:1987:RT, 50(3)241--284
philosophers, 36(1)27--58, 38(1)1--16
picture, 36(2)173--202, 43(1)31--41, 48(2)145--152, 52(3)177--191, 68(3)239--252
piecewise, 35(1)17--42, 58(1)231--248, 65(2)243--248, 65(2)z--z
piecewise-linear, 65(2)243--248
Pierre, L., 47(3)335--343, 57(2)185--204
Pierre, L., see Deleage, J.-L.
Pierre:1988:RIC, 57(2)185--204
pigeonhole, 39(2)297--308, 62(3)311--317
Pin, J.-E., 35(2)271--293
Pin:1985:AMR, 35(2)271--293
Pino Perez, Ramon, 67(1)129--139
PinoPerez:1989:DRE, 67(1)129--139
Piotrow, M., 54(2)331--339
Piotrow, M., see Liskiewicz, M.
Piperno, A., 66(1)27--43
Piperno:1989:APC, 66(1)27--43
PIPID, 64(2)191--201
pipid, 64(2)191--201
Pippenger, N. J., 36(2)239--250
Pippenger, N. J., see Fagin, R.
Place/Transition, 64(1)25--38
place/transition, 41(2)185--213, 45(3)261--292
plaintext, 48(2)283--296, 66(1)45--53
Plaisted, D. A., 35(2)245--260
Plaisted:1985:CDP, 35(2)245--260
planar, 53(2)267--279, 54(1)129--137, 58(1)209--229, 61(1)33--47, 68(2)155--173
planarity, 47(3)277--298
plane, 49(2)239--265, 61(2)175--198, 66(2)157--180, 68(3)239--252
Plotkin, 36(1)127--137
P=?NP, 51(3)265--280
point, 36(2)333--339, 39(1)15--25, 39(1)z--z, 44(1)107--110, 45(1)1--61, 49(2)239--265, 49(2)z--z, 57(1)87--95, 61(2)289--297, 63(3)275--294, 63(3)303--331, 65(2)189--196, 68(3)303--317, 68(3)347--348
point, fixed-, 45(2)193--260, 45(3)293--351, 64(3)221--269, 65(2)143--148, 68(2)203--220, 68(3)303--317
points, fixed-, 44(3)259--274
policy, 46(1)13--45
poly, 52(3)251--267
poly-time, 54(2)325--329
polycategory, 57(2)205--224
polygon, 53(2)345--352, 59(3)297--307
polylogarithmic, 54(1)65--85
polymorphic, 59(1)85--114, 60(3)297--340
polymorphism, 59(1)85--114, 68(3)221--237
polynomial-size, 36(2)239--250, 62(3)319--325, 68(3)267--276
Polynomial-Time, 61(2)307--316
polynomial-time, 47(2)131--147, 47(3)263--276, 51(3)265--280, 52(1)77--89, 56(3)289--301, 61(2)307--316, 68(3)267--276, 68(3)319--332
polynomially, 35(2)295--312, 39(2)207--224, 39(2)225--237, 51(3)255--264, 52(3)251--267
Polynomials, Techniques-, 58(1)17--56, 64(1)15--23, 67(1)111--113
polynominal-time, 51(1)53--80
pomsets, 61(2)199--224
POOL, 60(2)109--176
Poorten, A. J., van der, 65(2)213--220
poset, 40(2)301--314, 48(1)95--100, 59(1)25--84
positive, 41(1)19--32
possible, 41(1)113--120, 65(2)143--148
post, 53(1)3--24, 55(2)183--263
post-conditions, 53(1)3--24
potential, 58(1)347--359
Poulsen, E. T., 44(3)333--339
Poulsen:1986:ECA, 44(3)333--339
power, 36(1)1--19, 36(1)127--137, 39(2)267--280, 40(1)13--30, 41(1)51--59, 41(1)109--112, 44(1)1--16, 44(1)111--121, 46(2)285--303, 47(1)15--26, 50(3)285--321, 53(2)187--200, 54(2)331--339, 56(1)135--154, 57(1)147--152, 57(2)225--238, 60(1)83--108, 62(3)289--310, 62(3)319--325, 65(1)35--83, 65(2)131--141, 67(2)143--172, 69(1)1--53
power, omega-, 53(2)187--200
power-free, 38(1)117--122
powerdomain, 36(1)127--137, 57(2)251--282
Powerset, 61(2)283--287
practice, 59(0)3--209
PRAM, 47(3)277--298, 61(1)33--47, 68(3)343--346
PRAM, CREW-, 61(2)121--136
PRAMs, 48(1)53--73
prams, 58(1)379--397
Pratt, Knuth-Morris-, 57(1)131--145
pre, 53(1)3--24
precise, 69(2)117--242
precisely, 38(1)133--136
precondition, 53(1)3--24, 59(3)211--234
predicate, 36(1)71--87, 46(2)239--259, 53(1)3--24, 57(1)3--45, 63(3)253--274, 64(1)25--38, 65(1)35--83
predicate/transition, 41(2)185--213
prefix, 35(2)295--312, 56(3)339--344
prefix-free, 66(3)247--254
premises, 51(1)1--26
preorder, 37(2)151--181, 37(3)305--336, 63(1)19--41
preparator, 59(3)211--234
preperfect, 44(2)237--245
preprocessing, 48(2)283--296
Presburger, 56(3)289--301
presentation, 35(2)227--243, 42(2)123--249, 46(2)319--327, 51(1)1--26
presented, 62(0)3--233, 66(1)55--63
preservation, 43(2)293--313
preserving, entropy-, 57(1)113--129
prex, 64(1)25--38
Priese, L., 39(2)107--121, 54(2)139--163
Priese:1985:FDM, 39(2)107--121
Priese:1987:IRT, 54(2)139--163
primality, 41(1)81--93
prime, 41(1)81--93, 52(1)77--89, 66(1)113--114
primitive, 38(2)167--192, 42(2)123--249, 52(1)77--89, 60(3)255--283, 64(1)97--105
principal, 47(3)299--313, 52(3)177--191, 54(2)341--343, 57(1)147--152, 59(1)181--209
principle, 39(2)297--308, 51(1)129--176, 54(1)29--51, 62(3)311--317, 64(3)221--269, 65(1)85--119
priorities, 67(2)283--301
prisoner, 67(1)5--18
probabilistic, 38(1)69--82, 40(1)57--66, 41(2)325--330, 49(2)267--282, 52(3)269--280, 53(1)67--97, 53(1)z--z, 54(1)65--85, 57(0)3--159, 57(1)87--95, 58(1)129--142, 58(1)263--324, 62(3)251--266, 66(3)333--340
probability, 41(2)325--330, 49(2)267--282, 53(1)67--97, 53(1)99--124, 57(1)87--95, 62(3)251--266, 63(2)185--202, 64(2)203--219, 65(0)123--270, 65(2)149--152, 65(2)171--188, 65(2)z--z, 67(1)5--18, 68(1)1--17
PROBLEM, 63(3)253--274
procedure, 35(2)129--164, 36(2)251--264, 41(1)113--120, 42(3)251--368, 44(2)127--153, 44(2)237--245, 47(1)61--69, 48(2)229--255, 49(2)217--237, 53(1)25--65, 53(1)z--z, 57(1)131--145, 58(1)155--174, 59(1)115--131, 59(1)133--155, 60(1)83--108, 66(2)117--136, 67(2)173--201, 69(1)1--53
process, 36(1)21--25, 37(1)77--121, 38(1)69--82, 38(2)307--322, 39(1)47--68, 39(1)z--z, 39(2)281--295, 40(2)149--162, 40(2)329--337, 43(2)277--291, 44(3)275--305, 45(2)193--260, 46(2)285--303, 47(2)159--168, 49(2)121--143, 49(2)185--215, 49(2)z--z, 50(3)241--284, 51(3)281--299, 53(1)99--124, 53(1)z--z, 54(2)277--298, 58(1)249--261, 59(1)25--84, 59(3)235--257, 60(2)109--176, 61(1)93--102, 63(3)275--294, 64(1)67--81, 64(2)175--189, 66(0)117--232, 66(2)117--136, 67(2)303--332, 68(1)37--47, 68(2)203--220, 69(1)69--115
process, regular-, 45(2)193--260
process-constructing, 49(2)185--215
processing, 35(2)191--214, 36(2)173--202, 37(2)183--216, 37(3)245--267, 37(3)305--336, 39(1)47--68, 39(2)107--121, 43(1)31--41, 43(1)43--58, 43(2)213--238, 43(2)277--291, 48(2)145--152, 49(2)145--169, 49(2)171--184, 49(2)267--282, 50(3)241--284, 51(1)239--247, 52(1)155--163, 52(3)193--203, 53(2)281--293, 54(1)53--64, 55(2)291--348, 57(0)3--159, 57(1)131--145, 58(1)143--154, 58(1)183--199, 58(1)249--261, 58(1)347--359, 59(3)259--276, 59(3)277--286, 59(3)297--307, 61(2)121--136, 61(2)199--224, 62(1)67--104, 62(1)123--185, 62(3)251--266, 63(1)91--111, 64(1)83--96, 64(1)125--132, 64(2)135--157, 64(2)159--173, 64(2)175--189, 64(2)191--201, 64(3)271--280, 65(2)249--263, 66(0)117--232, 66(2)117--136, 66(2)181--203, 68(3)343--346, 69(1)1--53
Processing--Data, 58(0)3--397, 58(1)57--68, 60(3)297--340, 62(0)3--233, 62(1)3--38, 66(0)117--232
processor, 37(2)183--216, 52(3)193--203, 53(2)169--185, 54(1)65--85, 56(1)3--15, 56(1)17--36, 56(1)59--133, 63(3)253--274, 64(1)125--132
Prodinger, H., 68(1)1--17
Prodinger, H., see Kirschenhofer, P.
Prodinger, Helmut, 58(1)143--154
Prodinger, Helmut, see Kirschenhofer, Peter
Producible, 65(2)143--148
product, 38(2)223--247, 46(1)91--99, 47(1)1--14, 48(1)1--8, 48(2)183--199, 50(2)103--135, 52(1)59--75, 53(2)243--255, 58(1)17--56, 61(1)17--24, 64(2)203--219, 64(3)221--269, 65(2)189--196, 65(2)z--z
product, 0/-, 47(1)1--14, 61(1)17--24
product, R-, 47(1)1--14
productibility, 65(2)143--148
productions, 49(1)23--42
program-verifying, 50(3)285--321
Programming, Metatheory-, 58(1)263--324, 59(1)3--23, 59(1)133--155, 59(1)157--180, 61(2)225--258, 61(2)259--277, 67(1)129--139
Programming--Algorithms, 58(0)3--397, 58(1)3--16, 58(1)103--128, 58(1)143--154, 58(1)183--199, 59(1)115--131, 59(3)297--307, 60(3)255--283, 60(3)341--381, 62(0)3--233, 62(1)67--104, 62(1)105--122, 62(1)123--185, 63(2)157--184, 63(3)295--302, 64(1)39--53, 64(1)83--96, 64(1)107--118, 64(3)343--350, 65(1)1--33, 66(2)157--180, 66(2)181--203, 67(1)65--73
Programming--Theory, 59(0)3--209, 59(1)25--84, 62(3)289--310, 62(3)319--325, 63(1)19--41, 63(2)113--139, 63(3)253--274, 63(3)303--331, 64(3)271--280, 64(3)305--329, 64(3)331--342
programs, -, 39(2)135--153
programs, While-, 40(2)211--235
programs, while-, 39(2)189--206, 40(2)211--235
progressive, 47(2)205--218, 58(1)209--229
projection, 39(2)239--265, 48(2)297--328, 62(1)67--104, 64(3)343--350, 65(3)291--342
projective, 64(1)83--96
PROLOG, 48(2)229--255, 54(1)3--28
Prolog, 59(1)133--155
proof, 35(2)345--348, 36(2)251--264, 39(1)27--45, 39(1)47--68, 39(1)z--z, 41(1)121--123, 42(2)123--249, 43(1)91--98, 43(2)345--350, 44(2)127--153, 44(3)333--339, 46(2)261--284, 46(2)305--312, 48(2)229--255, 50(3)241--284, 52(3)239--249, 52(3)281--306, 54(2)199--214, 57(2)161--184, 57(2)317--325, 59(3)317--325, 61(2)225--258, 62(3)311--317, 63(1)91--111, 65(1)1--33, 65(1)35--83, 65(2)149--152, 66(1)87--97, 67(1)87--97, 67(2)203--260, 68(2)123--134, 68(3)267--276, 68(3)333--342, 69(1)69--115, 69(3)243--287
proof-theoretic, 39(1)27--45, 39(1)z--z
propagation, 43(2)149--167, 46(1)13--45
Proper, 61(2)103--119
property, 35(1)109--114, 35(2)295--312, 35(2)337--344, 36(2)217--229, 36(2)291--308, 37(1)77--121, 37(3)305--336, 38(1)35--53, 39(1)3--13, 39(1)z--z, 39(2)123--133, 39(2)189--206, 39(2)281--295, 39(2)337--342, 40(2)163--174, 40(2)211--235, 40(2)257--274, 41(2)215--222, 43(2)277--291, 43(2)315--335, 44(1)51--68, 44(2)127--153, 46(1)83--89, 46(2)141--158, 46(2)175--195, 46(2)313--318, 48(1)53--73, 48(1)75--94, 49(1)1--12, 49(1)23--42, 49(1)43--79, 51(3)281--299, 52(1)15--36, 52(1)165--171, 52(3)205--237, 53(1)99--124, 56(1)3--15, 57(1)87--95, 57(2)225--238, 61(2)103--119, 61(2)199--224, 61(2)259--277, 61(2)283--287, 62(1)123--185, 62(3)267--287, 63(1)43--61, 63(3)303--331, 63(3)333--348, 64(1)83--96, 64(2)191--201, 64(3)281--304, 65(2)197--212, 65(2)221--242, 65(2)z--z, 67(1)121--128, 68(1)1--17, 68(2)123--134, 68(3)333--342
proposition, 65(2)149--152
propositional, 36(1)71--87, 38(2)343--347, 39(2)297--308, 49(2)217--237, 55(1)1--45, 59(1)115--131, 61(2)259--277, 62(3)311--317, 66(1)87--97, 68(1)113--119, 68(2)123--134
Proskurowski, A., 68(2)155--173
Proskurowski, A., see Lingas, A.
Protasi, Marco, 64(1)119--124
Protasi:1989:NAO, 64(1)119--124
protocol, 39(2)319--325, 40(2)101--130, 54(1)53--64, 57(1)97--111, 68(2)175--202
prove, 67(2)203--260
prover, 35(2)129--164
proving, 35(2)129--164, 35(2)215--225, 37(2)151--181, 37(2)183--216, 43(2)123--147, 43(2)277--291, 44(2)127--153, 53(1)125--150, 54(1)3--28, 54(1)29--51, 54(2)249--265, 56(1)135--154, 56(3)277--288, 59(1)133--155, 59(3)287--296, 67(2)173--201, 67(2)203--260, 69(3)243--287
pseudo, 47(1)15--26
pseudo-c, 66(3)323--331
pseudocomplements, 43(2)201--211
pseudorandom, 48(1)9--33
PSPACE, 47(2)131--147
PSPACE-complete, 36(2)265--289, 58(1)263--324
PSPACE-hard, 35(1)1--15
PSPACEash, 52(3)251--267
PSPACE/poly, 52(3)251--267
PT-nets, 64(1)25--38
PTIME, 58(1)263--324, 64(3)305--329
public-key, 40(2)101--130, 48(2)283--296, 66(1)45--53
pump, 56(3)321--338
pumping, 36(1)89--97, 40(1)13--30, 45(1)87--119, 46(1)53--66, 56(3)321--338, 57(2)303--316, 62(3)267--287
pure, 65(3)291--342
purely, 51(3)301--308
purpose, general-, 51(1)221--227
push-down, 48(2)201--228
pushdown, 37(1)51--75, 37(2)123--150, 39(2)89--106, 39(2)267--280, 40(2)163--174, 41(2)223--230, 42(3)251--368, 44(1)111--121, 48(2)153--181, 58(1)69--80, 61(2)149--174, 64(1)39--53, 67(1)75--85
pushout, 52(1)37--58