Last update: Fri Apr 26 02:15:38 MDT 2024
Return to index directory
P
-
Paakki, J., 4(1)3--36
-
Paakki, Jukka, 5(3)235--z
-
Paakki:1997:RPD, 4(1)3--36
-
Paakki:1998:SST, 5(3)235--z
-
packing, 8(4)463--472, 11(1)1--z
-
Packing, Bin-, 4(2)151--166
-
Pagh, Rasmus, 7(3)151--z
-
Pagh:2000:TWC, 7(3)151--z
-
Paging, 6(2)148--z
-
Pagourtzis, Aris T., 14(3)151--172
-
Pagourtzis, Aris T., see Cieliebak, Mark
-
pair, 2(1)3--27, 2(1)28--40
-
Pairs, All-, 4(4)342--356
-
Pal, Madhumangal, 4(4)342--356
-
Pal:1997:OPA, 4(4)342--356
-
Palamidessi, C., 9(z)145--z
-
Palamidessi, C., see Nielsen, M.
-
Palsberg, Jens, 4(3)259--286
-
Palsberg:1997:TIS, 4(3)259--286
-
Panangaden, P., 9(2)69--z, 10(2)69--z
-
Panangaden, P., see Aceto, L.,
see Nestmann, U.
-
Panangaden, Prakash, 2(2)181--220
-
Panangaden, Prakash, see Mendler, Nax P.
-
Pang, Jun, 12(1)18--26
-
Pang, Jun, see Fokkink, Wan
-
paper, 1(3)275--316, 1(3)317--331, 1(3)332--345, 1(3)346--363,
1(3)364--385, 1(4)389--401, 1(4)402--432, 1(4)433--457,
1(4)458--474, 1(4)475--492, 1(4)493--515, 9(2)69--z, 9(2)70--z,
9(2)102--z, 9(2)118--z, 9(3)189--z, 9(3)191--z, 9(3)209--z,
9(3)231--z, 9(3)248--z, 9(4)267--z, 9(4)269--z, 9(4)301--z,
9(4)335--z, 9(4)373--z, 9(4)405--z, 9(4)436--z, 9(z)145--z,
9(z)261--z, 10(1)1--1, 10(1)2--z, 10(1)13--z, 10(1)21--z, 10(1)29--z,
10(1)40--z, 10(1)52--z, 10(2)69--z, 10(2)70--z, 10(2)99--z,
10(2)134--z, 10(2)163--z
-
parallel, 1(2)202--213, 1(4)402--432, 2(2)146--180, 3(1)63--71,
3(1)72--88, 4(4)342--356, 7(1)32--z, 7(4)375--z, 10(1)13--z,
13(4)215--239
-
Parameterized, 8(3)298--z
-
Parametric, 3(4)352--366, 5(2)105--114, 8(1)88--z
-
Pardo, Alberto, 8(3)366--z
-
Pardo, Alberto, see Uustalu, Tarmo
-
Parentheses, 3(4)323--336
-
Parity, 8(3)324--z
-
Parrow, Joachim, 2(2)87--z, 2(4)407--443
-
Parrow, Joachim, see Jonsson, B.
-
Parrow:1995:ID, 2(4)407--443
-
Partial, 8(4)437--462, 8(4)473--474
-
Partially, 3(3)238--255
-
Partitioning, 5(2)128--142
-
Pasanen, Tomi, 3(1)27--40
-
Pasanen, Tomi, see Katajainen, Jyrki
-
path, 3(3)256--270, 4(4)342--356, 6(4)403--z, 14(1)109--125
-
pattern, 8(4)437--462, 10(3)185--z, 11(3)235--z, 12(4)361--378
-
Pattern-Based, 9(3)248--z, 13(3)162--179, 14(4)338--355
-
Pattern-Matching, 4(2)172--186, 7(1)1--z
-
Pearson, Justin, 6(3)271--z
-
Pearson, Justin, see Larsen, Kim G.
-
Pedersen, Ib, 6(4)403--z
-
Pedersen, Ib, see Larsen, Jesper
-
Peinado, Marcus, 1(4)493--515
-
Peinado:1994:HGR, 1(4)493--515
-
Pelc, Andrzej, 1(3)332--345, 3(2)188--201
-
Pelc, Andrzej, see Chlebus, Bogdan S.,
see Diks, Krzysztof
-
Peled, Sariel, Har-, 7(3)227--z
-
Peltonen, Jari, 13(3)180--195, 15(1)1--2
-
Peltonen, Jari, see Siikarla, Mika
-
Peltonen:2013:GEF, 15(1)1--2
-
Penetration, 7(3)227--z
-
Penttonen, Martti, 2(1)51--69
-
Penttonen, Martti, see Leppänen, Ville
-
per, 13(4)328--339
-
Perdikuri, K. G., 10(1)40--z
-
Perdikuri, K. G., see Iliopoulos, C. S.
-
permutation, 5(2)105--114, 6(4)422--z
-
Persistency, 8(3)298--z
-
Persistent, 3(3)238--255, 4(1)123--149
-
Persson, Jonas, 7(2)143--z
-
Persson, Jonas, see Bendix, Lars
-
Petersen, Peter, 6(1)22--z
-
Petersen, Peter, see Kjelstr{\o}m, K{\aa}re
-
Petersson, Viktor, 8(3)324--z
-
Petersson:2001:RSA, 8(3)324--z
-
Petrank, Erez, 12(3)275--307
-
Petrank:2005:HCC, 12(3)275--307
-
Petre, Luigia, 8(1)2--z
-
Petre, Luigia, see Back, Ralph-Johan
-
Petri, 12(3)200--228, 12(3)229--250, 12(3)251--274, 14(1)1--42
-
Petrucci, Laure, 12(3)251--274
-
Petrucci, Laure, see Billington, Jonathan
-
Pettersson, P., 9(4)269--z
-
Pettersson, P., see Amnell, T.
-
Pettersson, Paul, 8(1)43--z, 12(2)67--z
-
Pettersson, Paul, see Hune, Thomas
-
Pettersson:2005:GEF, 12(2)67--z
-
Peyton, Barry W., 1(2)173--201
-
Peyton, Barry W., see Blair, Jean R. S.
-
Pferschy, Ulrich, 1(2)246--263
-
Pferschy:1994:SGC, 1(2)246--263
-
Philbrow, Paul, 4(1)123--149
-
Philbrow, Paul, see Sj{\o}berg, Dag I. K.
-
pi-Calculus, 9(2)70--z
-
pi-calculus, 10(2)70--z
-
Pilegaard, H., 10(4)337--z
-
Pilegaard:2003:AAA, 10(4)337--z
-
Piles, 10(3)238--z
-
Place, In-, 3(1)27--40, 7(4)258--z
-
Placement, 12(3)275--307
-
Placing, 10(3)225--z
-
Planar, 3(4)323--336
-
Plandowski, Wojciech, 7(1)1--z
-
Plandowski, Wojciech, see Karhumäki, Juhani
-
Plotkin, Gordon, 2(2)126--145
-
Plotkin, Gordon, see Di Gianantonio, Pietro
-
Poddar, Rajiv Kumar, 13(4)266--293
-
Poddar:2006:VGB, 13(4)266--293
-
point, 2(1)28--40, 3(4)323--336, 4(2)167--171, 8(2)179--z
-
Pointer, 5(4)361--z
-
Pollman, Héctor, Soza-, 5(1)70--85
-
Polyadic, 10(2)70--z
-
polygon, 1(4)433--457, 1(4)458--474, 9(1)32--z
-
Polygonal, 11(2)194--z
-
Polynomially, 1(3)317--331
-
polytope, 7(3)227--z
-
Popovici, Emanuel, 13(4)340--346
-
Popovici, Emanuel, see Schellekens, Michel
-
Porres, Ivan, 8(1)2--z, 12(3)198--199, 12(4)321--342, 12(4)361--378
-
Porres, Ivan, see Alanen, Marcus,
see Back, Ralph-Johan, \see{Lilius, Johan
-
Postiglione, Alberto, 4(2)151--166
-
Postiglione, Alberto, see Gambosi, Giorgio
-
Pottier, François, 7(4)312--z
-
Pottier:2000:VCB, 7(4)312--z
-
power, 5(2)115--127, 10(2)70--z, 13(1)46--57
-
Powerful, 6(2)181--z
-
Practical, 3(1)27--40, 12(4)343--360
-
Prague, 10(1)1--1, 10(1)2--z, 10(1)13--z, 10(1)21--z, 10(1)29--z,
10(1)40--z, 10(1)52--z
-
PRAM, 2(1)51--69
-
predicates, 2(2)274--302
-
premises, 2(2)274--302
-
Preparata, Franco P., 1(2)231--245
-
Preparata, Franco P., see Janardan, Ravi
-
Presence, 3(1)1--26, 3(3)203--219
-
Presentation, 6(1)110--z, 7(2)106--z
-
Preserve, 12(2)189--198
-
Prieto, Elena, 12(3)308--318
-
Prieto:2005:RIS, 12(3)308--318
-
Prinz, Andreas, 13(3)147--148
-
Prinz:2006:GEF, 13(3)147--148
-
Priority, 10(3)238--z
-
PRO, 13(4)215--239
-
probabilistic, 2(2)250--273, 6(3)320--z, 11(2)102--z
-
problem, 1(1)157--171, 1(2)231--245, 1(2)246--263, 1(3)275--316,
1(3)317--331, 2(1)3--27, 2(1)28--40, 2(4)444--461, 2(4)496--501,
3(1)72--88, 3(4)352--366, 3(4)367--387, 3(4)388--404, 3(4)405--424,
4(3)303--316, 4(4)317--329, 4(4)330--341, 4(4)357--379,
5(2)115--127, 5(2)143--171, 5(3)173--z, 6(4)403--z, 7(1)1--z,
7(1)14--z, 8(4)409--423, 8(4)424--436, 9(1)13--z, 9(2)70--z,
13(4)294--308
-
Procedural, 7(2)126--z
-
Procedural, Inter-, 7(4)375--z
-
process, 1(3)364--385, 2(2)89--125, 2(2)250--273, 8(3)346--z, 9(4)301--z,
11(3)254--z, 14(4)301--320
-
Process-Algebra, 8(1)121--z
-
processors, 1(2)202--213
-
Product-Line, 13(3)196--213
-
Profiles, 11(3)235--z
-
Program, 4(1)3--36, 5(4)330--z, 5(4)361--z, 7(2)67--z, 7(4)375--z,
8(1)43--z, 8(3)279--z, 8(3)298--z, 9(3)209--z, 10(4)265--z,
11(2)102--z, 11(3)303--z
-
programming, 1(3)275--316, 1(3)317--331, 1(3)332--345, 1(3)346--363,
1(3)364--385, 2(2)181--220, 4(1)93--122, 4(1)123--149, 6(1)1--z,
6(1)55--z, 7(2)65--z, 7(2)87--z, 8(1)121--z, 9(3)189--z, 9(3)191--z,
9(3)209--z, 9(3)231--z, 9(3)248--z, 9(4)267--z, 9(4)269--z,
9(4)301--z, 9(4)335--z, 9(4)373--z, 9(4)405--z, 9(4)436--z,
9(z)145--z, 9(z)261--z, 11(3)211--z, 11(4)374--z, 12(2)89--115,
13(4)309--327
-
Progress, 8(3)346--z
-
proofs, 1(1)135--156, 10(4)265--z
-
Propagating, 5(4)304--z
-
property, 10(2)134--z, 10(4)337--z
-
Proportion, 3(3)271--279
-
Proskurowski, Andrzej, 5(3)173--z
-
Proskurowski, Andrzej, see Kratochvíl, Jan
-
Protocol, 5(4)267--z, 10(4)337--z, 12(3)200--228, 12(3)251--274,
13(1)78--97
-
PSC'02, 10(1)1--1, 10(1)2--z, 10(1)13--z, 10(1)21--z, 10(1)29--z,
10(1)40--z, 10(1)52--z
-
PSPACE-complete, 1(3)275--316
-
Purdom, Jr., Paul Walton, 3(3)203--219
-
Purdom, Jr., Paul Walton, see Brown, Cynthia A.
-
pushdown, 2(2)89--125
-
Pyramids, 2(3)326--337