Index file section P for fundinfo1990.bib

Last update: Sun Oct 15 02:15:49 MDT 2017

Return to index directory

P

Pacholczyk, Daniel, 17(4)333--362
Pacholczyk, Daniel, see Akdag, Herman
Pagliani, Piero, 27(2)205--219
Pagliani:1996:RSN, 27(2)205--219
Pal, Sankar K., 35(1)91--111, 37(1)177--199, 37(1)z--z
Pal, Sankar K., see Bandyopadhyay, Sanghamitra, see Murthy, C. A.
Pal:1999:PSI, 37(1)z--z
Palopoli, Luigi, 21(3)183--203
Palopoli, Luigi, see Leone, Nicola
Pankowski, Tadeusz, 33(2)121--148
Pankowski:1998:PPR, 33(2)121--148
paper, 21(3)161--162, 23(2)145--148
parallel, 27(1)27--36, 28(3)315--330, 31(1)13--25, 35(1)211--230
parallelism, 19(3)383--402, 25(3)381--397, 33(3)281--294
Parameter, 24(3)209--250, 35(1)51--66
Parameterized, 34(1)1--31
Parametric, 22(1)69--92, 29(1)51--76
Parametricity, 33(4)397--432
Parametrization, 24(3)209--250
Pardubská, Dana, 25(3)271--284, see Hromkovi{\v{c}}, Juraj
Parente, Domenico, 27(1)27--36, 34(1)103--128
Parente, Domenico, see La Torre, Salvatore
Parikh, Rohit, 15(3)255--274
Parikh:1991:MNM, 15(3)255--274
parsable, 14(3)283--286
Parser, 33(3)211--238
parsimonious, 17(1)31--53
Parsing, 20(4)285--332, 23(2)303--353
Part, 13(3)275--316, 14(1)1--38
partial, 16(2)101--126, 16(3)349--353, 19(1)185--199, 27(4)349--383, 31(2)125--144, 31(3)337--355, 36(1)1--21
Partitioned, 34(4)413--428
Pas, Paulien ten, 23(1)1--32
Pas, Paulien ten, see Ehrenfeucht, Andrzej
Pas, Paulienten, 25(3)353--380
Pas, Paulienten, see Hoogeboom, Hendrik Jan
path, 33(2)121--148, 37(3)311--327, 40(2)285--316
pattern, 19(1)127--165, 30(2)183--191, 34(1)129--144
Paulson, Lawrence C., 39(1)1--20
Paulson, Lawrence C., see Ballarin, Clemens
P{\u{a}}un, Andrei, 31(2)185--193
Paun, Gheorghe, 16(3)337--347
P{\u{a}}un, Gheorghe, 19(3)355--370, 22(3)217--226, 25(3)381--397, 28(3)315--330, 30(1)45--57, 32(2)149--162, 36(2)183--200, 38(4)397--410, see Dassow, Jürgen, see Kari, Lila
Paun:1992:FRR, 16(3)337--347
Paun:1996:CGP, 25(3)381--397
Paun:1996:PCG, 28(3)315--330
Paun:1997:CSC, 30(1)45--57
Paun:1997:CSS, 31(2)185--193
Paun:1997:RSA, 32(2)149--162
Paun:1999:SS, 38(4)397--410
Pawlak, Zdzislaw, 27(2)103--108
Pawlak, Zdzis{\l}aw, 16(3)275--287, see Novotný, Miroslav
Pawlak:1996:RSR, 27(2)103--108
PCF, 33(4)339--368
Pelc, Andrzej, 32(3)313--328
Pelc, Andrzej, see Chlebus, Bogdan S.
Peled, Doron, 36(1)1--21
Peled, Doron, see Bhat, Girish
Peltier, Nicolas, 30(1)59--81
Peltier:1997:TAA, 30(1)59--81
Penczek, Wojciech, 25(2)183--200
Penczek:1996:ATL, 25(2)183--200
Penttonen, Martti, 38(1)17--23
Penttonen:1999:RCR, 38(1)17--23
Pereira, Luís Moniz, 28(1)1--22, see Alferes, José Júlio
perfect, 13(1)1--17, 14(3)339--343, 17(1)75--98, 39(3)249--258
Performance, 24(4)333--357, 29(1)77--96
Periodic, 40(2)199--219
Perlis, Don, 23(2)145--148
Perlis, Donald, 15(3)325--332
Perlis, Donald, see Kraus, Sarit
Perlis:1995:PCT, 23(2)145--148
Perspective, 23(2)355--370, 28(1)153--164, 35(1)179--195
Peter, 40(2)103--107
Peters, James F., 29(1)135--163
Peters:1997:MRT, 29(1)135--163
Petit, Antoine, 36(2)145--182
Petit, Antoine, see Bérard, Béatrice
Petkovi{\'c}, T., 38(1)51--60, see Bogdanovi{\'c}, S.
Petri, 13(2)141--170, 20(1)193--229, 23(1)91--100, 26(1)11--22, 28(3)403--421, 30(1)97--107, 31(1)13--25, 32(3)373--392, 37(3)225--246, 37(3)247--268, 37(3)311--327, 40(2)125--163
Peuker, Sibylle, 37(3)291--309
Peuker, Sibylle, see Kindler, Ekkart
Peyral, Mathieu, 35(1)125--162
Peyral, Mathieu, see Sebag, Michèle
Pfenning, Frank, 19(1)185--199
Pfenning:1993:UPP, 19(1)185--199
PF(k), 14(3)283--286
picture, 25(3)295--325
Piecewise, 37(1)31--50
Pientka, Brigitte, 39(1)189--209
Pientka:1999:AIS, 39(1)189--209
Pietkiewicz-Koutny, Marta, 40(2)251--283
Pietkiewicz-Koutny:1999:SPE, 40(2)251--283
Pietrowcew, Adam, 36(4)345--365
Pietrowcew, Adam, see Skarbek, W{\l}adys{\l}aw
Pigozzi, Don, 32(1)47--90, 33(2)149--200
Pigozzi:1997:LAA, 32(1)47--90
Pigozzi:1998:LAA, 33(2)149--200
Pinna, G. Michele, 14(1)109--128, 40(2)165--197
Pinna, G. Michele, see Busi, Nadia, see Schettini, Andrea Maggiolo
Pitsch, Gisela, 29(1)1--26
Pitsch, Gisela, see Hotz, Günter
Placeash, 40(2)165--197
Plaisted, David A., 21(3)221--235, 24(1)1--2
Plaisted, David A., see Chu, Heng
Plaisted:1995:EP, 24(1)1--2
plane, 22(4)385--394
Plaza, Jan A., 28(1)153--164, 39(1)z--z
Plaza:1996:LPP, 28(1)153--164
Plaza:1999:P, 39(1)z--z
Pleszkoch, Mark G., 23(1)67--89
Pleszkoch, Mark G., see Gasarch, William I.
P{\l}onka, Leszek, 30(3)299--311, see Mr{\'o}zek, Adam
Plump, Detlef, 33(2)201--209
Plump:1998:TGR, 33(2)201--209
point, 30(3)241--254, 37(4)329--342
Point, Fix-, 22(1)187--202
Point, Gérald, 40(2)109--124, see Arnold, André
Points, Fixed-, 22(4)353--370
Policriti, Alberto, 36(2)201--234
Policriti, Alberto, see Dovier, Agostino
Polkowski, Lech, 27(2)255--271, 28(1)z--z, 28(3)315--330, 28(3)z--z, 30(3)345--358, 32(2)149--162
Polkowski, Lech, see Marek, Wiktor, see P{\u{a}}un, Gheorghe, see Skowron, Andrzej
poly-time, 19(1)167--184
Polyhedron, 25(1)35--38
polymorphic, 19(1)185--199
Polymorphism, 22(1)69--92
polynomial, 28(3)297--301, 32(1)91--105, 37(1)71--87, 38(1)135--148
Pomsets, 28(3)403--421
Pomykala, Janusz, 27(2)221--227
Pomykala:1996:NCI, 27(2)221--227
Popova-Zeugmann, Louchka, 37(3)311--327
Popova-Zeugmann:1999:APT, 37(3)311--327
Poset, 28(1)165--182
Positive, 28(1)197--209
possibilistic, 15(3)211--234, 37(1)1--30
Possible, 21(1)39--66
Post, 38(1)209--221
power, 25(3)257--270, 25(3)285--293, 27(1)1--25, 28(1)183--195, 30(1)83--95, 32(3)341--348, 36(2)145--182, 38(1)201--208
Power-Free, 38(1)109--118
Powerdomain, 26(2)133--139, 32(3)193--250, 33(2)121--148
Practical, 15(3)357--380, 33(4)369--396
practice, 23(2)145--148
Prade, Henri, 15(3)211--234, 37(1)1--30
Prade, Henri, see Dubois, Didier
Pragmatic, 39(1)1--20
Praise, 28(1)23--36
PRAM, 36(4)317--336
Pratt, Vaughan, 28(1)165--182
Pratt:1996:SIP, 28(1)165--182
precise, 19(3)303--342, 38(1)1--15
Precision, 27(2)155--168
predicateash, 14(1)109--128
Prediction, 30(3)227--240
preface, 20(1)1--2, 21(3)161--162, 22(4)307--307, 24(1)1--2, 25(3)215--215, 26(3)205--205, 27(2)101--102, 28(1)z--z, 28(3)z--z, 32(2)z--z, 33(3)z--z, 33(4)z--z, 34(3)z--z, 34(4)z--z, 35(1)z--z, 37(1)z--z, 37(3)z--z, 38(1)z--z, 39(1)z--z, 40(2)z--z
Preference, 21(1)23--38, 32(2)121--137
Preferential, 21(4)307--319
Prefix, 26(2)103--113
Pregrammars, 33(3)295--307, 36(4)337--343
Preoteasa, Viorel, 40(1)53--77
Preoteasa:1999:RBU, 40(1)53--77
preserving, 17(4)319--331, 34(4)369--388
Primitive, 19(1)201--222, 20(1)133--144
principle, 32(2)107--120
Priority, 22(3)299--306, 38(3)223--255
probabilistic, 19(3)417--431, 23(2)225--246, 26(3)341--362, 30(3)241--254
probability, 20(4)277--285
problem, 15(3)325--332, 16(3)275--287, 19(1)87--125, 21(4)391--401, 23(2)247--262, 24(4)387--405, 25(2)175--181, 31(2)195--212, 32(3)341--348, 34(3)263--293, 35(1)113--123, 36(4)307--315, 37(3)247--268, 38(1)201--208, 38(1)209--221, 39(4)375--387, 40(2)251--283
Procedural, Non-, 26(1)31--57
Procedures, 40(4)317--333
process, 13(2)85--139, 13(3)263--274, 14(1)39--74, 17(4)369--397, 20(1)231--275, 24(3)283--302, 26(3)241--265, 27(1)37--56, 27(4)349--383, 28(3)403--421, 29(1)51--76, 29(4)341--368, 30(1)11--30, 30(1)97--107, 31(1)13--25, 31(3)305--335, 31(3)337--355, 31(3)357--377, 32(3)329--340, 36(1)71--101, 37(1)121--136, 37(3)213--223, 38(4)377--395, 40(2)165--197
processing, 14(3)301--312, 15(3)381--397, 40(1)31--51
Processors, 34(1)103--128
Procrastination, 40(1)1--16
product, 22(1)153--166, 31(3)379--400
production, 14(3)301--312
Productions, 33(3)265--280
Program, 21(3)163--182, 27(1)77--100, 39(1)59--83
Programmed, 26(3)363--385
programming, 13(3)317--332, 16(3)231--262, 17(4)285--317, 19(3)223--234, 25(1)39--48, 28(1)1--22, 28(1)23--36, 28(1)153--164, 29(3)225--256, 34(3)225--262, 34(3)295--321, 34(3)323--346, 34(3)z--z
programs, 13(1)1--17, 13(1)51--65, 13(1)67--83, 13(3)317--332, 13(4)465--483, 14(3)323--337, 14(3)339--343, 16(3)355--370, 19(3)275--301, 20(1)145--192, 21(4)345--365, 22(1)187--202, 22(3)227--255, 22(3)257--288, 24(4)359--386, 28(3)223--245, 29(1)97--117, 29(3)203--223, 31(2)125--144, 31(3)253--294, 32(3)349--357, 34(3)203--224, 35(1)163--177, 37(3)247--268, 39(3)249--258, 39(4)337--357, 40(2)285--316
progressing, 16(2)171--199
proof, 14(1)129--146, 20(1)231--275, 20(4)353--379, 23(1)101--121, 28(1)129--140, 28(1)183--195, 28(3)297--301, 29(3)257--303, 30(1)83--95, 34(3)295--321, 39(1)59--83, 39(1)189--209
Propagation, 32(3)281--297
property, 14(1)91--108, 14(3)287--300, 22(3)227--255, 22(3)257--288, 24(1)3--23, 25(2)99--121, 25(3)295--325, 28(1)141--152, 30(3)241--254, 32(3)373--392, 33(1)17--42, 39(3)305--325
Proposal, 32(2)183--191
propositional, 13(3)387--399, 16(1)39--57, 24(4)387--405, 29(4)383--390, 31(1)79--105, 31(2)107--116
prove, 14(3)355--366
Provers, 39(1)1--20, 39(1)39--57
Proving, 21(3)221--235, 39(1)85--104
Prune-And-Search, 22(4)353--370
Przelaskowski, Artur, 34(4)369--388
Przelaskowski:1998:DPW, 34(4)369--388
Przymunsinski, T. C., 13(1)51--65
Przymunsinski, T. C., see Przymusinska, H.
Przymusinska, H., 13(1)51--65
Przymusinska, Halina, 13(4)403--443, 16(1)59--92, 21(1)67--87
Przymusinska, Halina, see Gelfond, Michael
Przymusinska:1990:WSL, 13(1)51--65
Przymusinska:1994:SDE, 21(1)67--87
Przymusinski, Teodor, 13(4)445--463, 21(1)67--87
Przymusinski, Teodor, see Przymusinska, Halina
Przymusinski, Teodor C., 28(1)1--22
Przymusinski, Teodor C., see Alferes, José Júlio
Przymusinski:1990:WFS, 13(4)445--463
Psychology, 20(1)35--73
Pure, 30(2)183--191, 33(3)265--280, 38(4)365--375
pushout, Double-, 30(2)193--226