Last update: Thu Sep 19 02:00:59 MDT 2024
Return to index directory
P
-
PACE, 49(4)551--582
-
Padawitz, Peter, 7(1)27--103
-
Padawitz:1991:IEC, 7(1)27--103
-
Padgham, Lin, 47(1)17--56
-
Padgham, Lin, see Thangarajah, John
-
Padmanabhan, R., 24(3)365--370, 64(4)689--697
-
Padmanabhan, R., see Moghaddam, G. I.
-
Padmanabhan:2000:HBL, 24(3)365--370
-
Pagani, Elena, 65(3)425--460
-
Pagani, Elena, see Ghilardi, Silvio
-
pair, 37(3)155--203, 45(3)301--325, 47(2)133--160, 49(1)53--93,
51(1)27--56, 55(3)199--210, 58(3)391--411, 64(8)1611--1662
-
P{\k{a}}k, Karol, 50(2)217--228, 55(3)295--306, 61(1)9--32,
63(3)557--595, 67(2)z--99999999,
see Bancerek, Grzegorz,
see Kaliszyk, Cezary
-
Pak:2013:MLE, 50(2)217--228
-
Pak:2015:ILF, 55(3)295--306
-
Palacios-Alonso, Miguel A., 45(1)21--37
-
Palacios-Alonso:2010:ELD, 45(1)21--37
-
Palem, K. V., 9(3)381--389
-
Palem, K. V., see Kuper, G. M.
-
Paleo, Bruno Woltzenlogel, 60(2)133--156, 60(4)527--527
-
Paleo, Bruno Woltzenlogel, see Slaney, John
-
Palmer, Jake E., 66(4)953--988, 67(1)z--99999999
-
Palmer, Jake E., see Schmoetten, Richard
-
Palomino, Miguel, 60(4)421--463
-
Palomino, Miguel, see Aguirre, Luis
-
Pan, Guoqiang, 35(1)25--50
-
Pan:2005:STS, 35(1)25--50
-
Pang, Linna, 60(1)63--84
-
Pang, Linna, see Newell, Josh
-
Panne, Sven, 18(2)227--236
-
Panne, Sven, see Geisler, Tim
-
Paolini, Luca, 63(4)941--966
-
Paolini:2019:QHO, 63(4)941--966
-
Papacchini, Fabio, 66(4)639--666, 66(4)1099--1099
-
Papacchini:2022:CLB, 66(4)639--666, 66(4)1099--1099
-
Papacchini:2022:LBE, 66(4)639--666, 66(4)1099--1099
-
paper, 2(2)217--217, 6(4)491--492, 47(2)107--109, 47(4)337--339,
51(1)1--2, 58(3)311--312, 60(1)1--2, 60(3)255--256, 62(2)169--170,
62(4)431--432, 63(2)319--321, 63(4)1003--1004, 64(3)511--511,
64(5)793--794, 64(7)1165--1167, 64(7)1331--1332, 65(7)891--892,
66(3)275--276, 66(4)437--438
-
Pappus, 58(2)209--230
-
Paraconsistent, 20(1)191--213
-
parallel, 8(1)23--38, 8(2)153--181, 9(3)381--389, 9(3)391--406,
18(2)253--258, 33(2)171--218, 40(4)307--326, 62(1)1--68,
68(3)z--99999999
-
Parallelism, SPS-, 22(4)397--431
-
Parallelization, 13(1)1--33, 26(1)67--106, 34(1)73--101
-
Paramasivam, M., 18(2)221--226, 20(3)337--364
-
Paramasivam:1997:RRR, 18(2)221--226
-
Paramasivam:1998:ADT, 20(3)337--364
-
parameter, 8(3)367--394
-
Parameterized, 64(7)1307--1330
-
Parametric, 65(7)1001--1025
-
paramodulation, 1(3)231--261, 4(1)101--107, 4(2)215--217, 5(3)309--337,
12(2)139--156, 30(1)99--120, 40(2)179--194, 50(1)51--98,
65(6)775--807, 66(4)463--497
-
Pardinus, 66(4)861--904
-
Pardo, Adrián, Rebola-, 64(7)1247--1267
-
Paris, Lionel, 48(3)391--417
-
Paris, Lionel, see Benhamou, Belaïd
-
Park, Daejun, 64(7)1523--1552
-
Park, Daejun, see Neider, Daniel
-
Park, Jonghyun, 52(2)215--239
-
Park, Junkil, 67(3)z--99999999
-
Park, Junkil, see Sheng, Ying
-
Park, Sungwoo, 52(2)215--239
-
Park, Sungwoo, see Park, Jonghyun
-
Park:2014:MMT, 52(2)215--239
-
Parlamento, Franco, 7(2)271--284
-
Parlamento:1991:DPE, 7(2)271--284
-
Parrello, Bruce D., 2(1)1--42
-
Parrello:1986:JSS, 2(1)1--42
-
Parrow, Joachim, 56(1)1--47
-
Parrow, Joachim, see Bengtson, Jesper
-
Parsia, Bijan, 59(4)455--482, 60(4)385--419
-
Parsia, Bijan, see Matentzoglu, Nicolas
-
Parsia:2017:ORE, 59(4)455--482
-
Parsons, Simon, 9(3)409--411, 11(3)429--431, 12(1)131--132
-
Parsons:1992:BR, 9(3)409--411
-
Parsons:1993:BR, 11(3)429--431
-
Parsons:1994:BR, 12(1)131--132
-
Part, 7(4)511--536, 13(2)243--281, 25(4)247--289, 63(1)1--51,
64(8)1611--1662, 64(8)1685--1729
-
Parthenon, 8(2)153--181
-
partial, 2(1)75--88, 4(2)117--172, 18(1)85--104, 26(1)1--49,
28(4)371--396, 31(2)107--127, 31(3)335--370, 44(4)303--336,
47(4)399--425, 50(4)383--421, 60(1)3--21, 64(7)1445--1481
-
Partial-Order, 23(3)265--298
-
partially, 12(2)209--223, 64(7)1269--1286
-
Parting, Michael, 47(2)133--160
-
Parting, Michael, see Fuhs, Carsten
-
partition, 31(1)73--103
-
Paskevich, Andrei, 40(2)179--194, 56(4)387--457
-
Paskevich, Andrei, see Dross, Claire
-
Paskevich:2008:CTL, 40(2)179--194
-
Passmore, Grant Olney, 62(1)69--91
-
Passmore, Grant Olney, see Li, Wenda
-
Patel-Schneider, Peter F., 6(4)361--388, 28(2)173--204, 39(3)277--316
-
Patel-Schneider, Peter F., see Horrocks, Ian,
see Tsarkov, Dmitry
-
Patel-Schneider:1990:DFO, 6(4)361--388
-
path, 9(2)147--167, 14(2)293--316, 49(1)53--93
-
pattern, 39(4)513--541, 58(2)293--310
-
Pattern-directed, 7(3)403--433
-
Paulson, Lawrence, 61(1)1--8
-
Paulson, Lawrence, see Avigad, Jeremy
-
Paulson, Lawrence C., 2(1)63--74, 5(3)363--397, 11(3)353--389,
15(2)167--215, 17(3)291--323, 23(3)235--264, 33(1)29--49,
36(1)5--37, 38(1)1--2, 40(1)35--60, 51(1)109--128, 53(2)141--172,
55(1)1--37, 55(4)389--404, 62(1)69--91, 63(3)763--786,
64(2)331--360, 67(1)z--99999999
-
Paulson, Lawrence C., see Abdulaziz, Mohammad,
see Beckert, Bernhard,
see Bella, Giampaolo,
see Benzmüller, Christoph,
see Blanchette, Jasmin Christian,
see Bridge, James P.,
see Edmonds, Chelsea,
see Kammüller, Florian,
see Li, Wenda, \see{Meng, Jia
-
Paulson, Lawrence Charles, 44(3)175--205, 50(1)99--117
-
Paulson, Lawrence Charles, see Akbarpour, Behzad,
see Bridge, James P.
-
Paulson:1986:PTN, 2(1)63--74
-
Paulson:1989:FGT, 5(3)363--397
-
Paulson:1993:STV, 11(3)353--389
-
Paulson:1995:STV, 15(2)167--215
-
Paulson:1996:MST, 17(3)291--323
-
Paulson:2004:ONT, 33(1)29--49
-
Paulson:2015:MPG, 55(1)1--37
-
Payet, Étienne, 68(1)z--99999999
-
Payet:2024:NTT, 68(1)z--99999999
-
PC--NQTHM-92, 23(3)445--498
-
PDL, 52(4)407--450, 64(1)21--52
-
Pearce, David J., 66(4)747--803
-
Pearce:2022:VWP, 66(4)747--803
-
Pearl, 43(1)1--18, 47(3)229--250, 48(4)419--439, 49(1)95--106,
51(4)357--370, 52(1)1--29, 53(2)129--139, 60(3)365--383,
62(2)171--192, 63(2)439--462
-
Pecchiari, P., 26(3)291--331
-
Pecchiari, P., see Giunchiglia, F.
-
Pecchiari, Paolo, 16(1)181--222
-
Pecchiari, Paolo, see Kaufmann, Matt
-
Peitl, Tomá{\v{s}}, 63(1)127--155, 68(1)z--99999999,
see Böhm, Benjamin
-
Peitl:2019:LDR, 63(1)127--155
-
Peled, Doron, 23(3)265--298
-
Peled, Doron, see Chou, Ching-Tsun
-
Pell, Oliver, 37(1)117--152
-
Pell:2006:VFL, 37(1)117--152
-
Pelletier, F. J., 28(3)307--320
-
Pelletier, F. J., see Sutcliffe, G.
-
Pelletier, Francis Jeffry, 2(2)191--216, 18(1)135--135, 18(2)287--296
-
Pelletier:1986:SFP, 2(2)191--216
-
Pelletier:1997:CAC, 18(2)287--296
-
Pelletier:1997:ESE, 18(1)135--135
-
Peltier, N., 33(2)133--170, 35(4)391--427, 57(2)97--134, 64(2)253--294
-
Peltier, N., see Echenim, M.
-
Peltier, Nicolas, 19(3)277--318, 20(1)27--45, 48(3)293--362,
53(4)317--350, 57(3)245--280, 64(4)737--765, 66(3)275--276,
67(3)z--99999999
-
Peltier, Nicolas, see Bensaid, Hicham,
see Boy de la Tour, Thierry,
see Caferra, Ricardo,
see Défourneaux, Gilles,
see Echenim, Mnacho
-
Peltier:2004:RBM, 33(2)133--170
-
Peltier:2005:STP, 35(4)391--427
-
Peltier:2022:SIS, 66(3)275--276
-
Peña, Ricardo, 64(4)767--791
-
Pena:2020:APR, 64(4)767--791
-
Peñaloza, Rafael, 45(2)91--129, 58(1)67--95,
see Baader, Franz,
see Ceylan, {\.I}smail {\.I}lkan
-
Peng, Xicheng, 65(6)711--726, 67(4)z--99999999, 68(2)z--99999999
-
Peng, Xicheng, see Li, Lei
-
Peng:2021:ADG, 65(6)711--726
-
Peng:2023:SEA, 67(4)z--99999999
-
Penner, P., 24(3)365--370
-
Penner, P., see Padmanabhan, R.
-
Perarnau, Swann, 45(2)131--156
-
Perarnau, Swann, see Bozga, Marius
-
Perception, 60(1)43--62
-
Pereira, Fernando, 1(1)5--48
-
Pereira, Fernando, see Wos, L.
-
Pereira, Luis Moniz, 2(4)329--390
-
Pereira, Luis Moniz, see Coelho, Helder
-
Pereira, Luís Moniz, 14(1)93--147, 20(1)1--3, 20(1)107--142,
see Alferes, José Júlio
-
Pereira, Mário, 60(3)365--383, see Clochard, Martin
-
Peressotti, Marco, 67(2)z--99999999
-
Peressotti, Marco, see Cruz-Filipe, Luís
-
performance, 4(2)215--217, 42(1)1--33
-
Performance, High-, 18(2)265--270
-
performance, high-, 8(1)23--38, 8(2)183--212, 12(2)139--156
-
Performant, 68(3)z--99999999
-
Perlis, Donald, 3(3)329--338
-
Perlis, Donald, see Miller, Michael
-
Permissions, 67(2)z--99999999
-
permutation, 26(3)223--268
-
Permutative, 33(3)271--317
-
Permuting, Variable-, 19(1)87--115
-
Perry, K. J., 9(3)381--389
-
Perry, K. J., see Kuper, G. M.
-
Persistence, 63(4)1005--1029
-
personal, 11(3)315--316
-
Perspective, 66(4)463--497
-
Perturbation, 40(4)271--292
-
perturbed, 8(3)395--419
-
Pesant, Gilles, 22(3)241--262
-
Pesant:1999:RAS, 22(3)241--262
-
Peskin, Richard L., 8(3)395--419
-
Peskin, Richard L., see Russo, Mark F.
-
Petri, Gustavo, 63(2)489--515
-
Petri, Gustavo, see Zakowski, Yannick
-
Petrocchi, Marinella, 41(3)325--364
-
Petrocchi, Marinella, see Gorrieri, Roberto
-
Petrovi{\'c}, Ivan, 55(1)39--59, see Botana, Francisco
-
Peugniez, Timothy J., 35(1)143--179
-
Peugniez, Timothy J., see Frisch, Alan M.
-
Pfalzgraf, Jochen, 26(2)139--160
-
Pfalzgraf, Jochen, see Gehrke, Wolfgang
-
Pfenning, Frank, 16(3)321--353, 32(1)75--92, 40(2)133--177
-
Pfenning, Frank, see Andrews, Peter B.,
see Chaudhuri, Kaustuv
-
Pham, Tuan-Hung, 57(4)281--318
-
Pham:2016:RAA, 57(4)281--318
-
Phenomena, 24(1)67--100
-
Philipoom, Jade, 68(3)z--99999999
-
Philipoom, Jade, see Gross, Jason
-
Phylogenetic, 39(4)z--z
-
Physical, Cyber-, 63(4)1031--1053
-
PI, 61(1)33--71
-
Piazza, Joseph S., Di, 6(3)299--317
-
Piazza, C., 31(1)73--103
-
Piazza, C., see Gentilini, R.
-
Piccolo, Mauro, 63(4)941--966
-
Piccolo, Mauro, see Paolini, Luca
-
Pichardie, David, 56(3)283--308, 63(2)489--515, 64(8)1685--1729
-
Pichardie, David, see Barthe, Gilles,
see Blazy, Sandrine,
see Zakowski, Yannick
-
Pichon, Frédéric, 45(1)61--87
-
Pichon:2010:UDR, 45(1)61--87
-
Pientka, Brigitte, 34(2)179--207, 47(2)107--109, 55(4)307--372
-
Pientka, Brigitte, see Felty, Amy P.,
see Schmidt, Renate A.
-
Pientka:2005:VTR, 34(2)179--207
-
Pieper, Gail W., 22(1)1--44
-
Pieper, Gail W., see Wos, Larry
-
Pierce, Benjamin C., 49(3)301--302
-
Pierce:2012:P, 49(3)301--302
-
pigeonhole, 6(3)287--297
-
Ping--Pong, 36(1)125--147
-
Pinote, Thomas, Sibut-, 62(2)281--300
-
Pinpointing, 45(2)91--129
-
Pinto, Alessandro, 63(4)1055--1075
-
Pinto, Alessandro, see Jha, Susmit
-
Pipatsrisawat, Knot, 44(3)277--301
-
Pipatsrisawat:2010:MCL, 44(3)277--301
-
Pipelined, 37(1)93--116
-
Piskac, Ruzica, 44(4)401--424
-
Piskac:2010:DEP, 44(4)401--424
-
Pita, Isabel, 60(4)421--463
-
Pita, Isabel, see Aguirre, Luis
-
Pitassi, Toniann, 27(3)251--296
-
Pitassi, Toniann, see Littman, Michael L.
-
Pitts, Andrew M., 49(2)115--140
-
Pitts, Andrew M., see Lakin, Matthew R.
-
Plaisted, David A., 2(2)171--190, 4(3)287--325, 6(4)389--402,
9(1)25--42, 18(2)183--188, 18(2)221--226, 20(3)337--364,
25(3)167--217, 26(3)223--268, 29(1)17--57, 56(2)113--141,
59(2)165--218
-
Plaisted, David A., see Avenhaus, Jürgen,
see Bonacina, Maria Paola, \see{Chu, Heng,
see Lee, Shie-Jue, \see{Paramasivam, M.,
see Yahya, Adnan
-
Plaisted:1986:DPC, 2(2)171--190
-
Plaisted:1988:NHC, 4(3)287--325
-
Plaisted:1990:SSM, 6(4)389--402
-
Plaisted:2000:OSH, 25(3)167--217
-
plane, 45(3)213--241, 45(3)243--266, 66(2)239--274
-
planning, 8(2)275--295, 15(1)1--40, 21(3)327--355, 33(1)51--88,
46(3)389--421, 54(1)31--68, 65(6)727--773
-
plans, 1(2)161--208, 3(4)343--377, 7(3)303--324
-
Platform, 61(1)113--139
-
Platzer, André, 41(2)143--189, 59(2)219--265, 66(1)173--173
-
Platzer:2008:DDL, 41(2)143--189, 66(1)173--173
-
Platzer:2017:CUS, 59(2)219--265
-
Platzer:2022:CDD, 41(2)143--189, 66(1)173--173
-
plausible, 12(1)1--31
-
Pliu{\v{s}}kevi{\v{c}}ien{\.e}, A., 64(8)1663--1684,
see Alonderis, R.
-
Pliu{\v{s}}kevi{\v{c}}ius, R., 64(8)1663--1684,
see Alonderis, R.
-
Pliu{\v{s}}kevi{\v{c}}ius, Regimantas, 13(3)391--407
-
Pliuskevicius:1994:STL, 13(3)391--407
-
Plouffe, 61(1)33--71
-
Plücker, Martin, 58(1)3--31, see Giesl, Jürgen
-
Plummer, Dave, Barker-, 8(3)311--344, 11(3)391--428
-
Plus, 33(1)1--28
-
Pohjola, Johannes Åman, 63(2)463--488,
see Ericsson, Adam Sandberg
-
Poincaré, 62(2)215--236, 65(1)31--73
-
point, 37(4)323--349, 47(3)319--336, 51(4)453--456, 62(3)301--329,
68(2)z--99999999
-
Point, Fixed-, 64(5)857--877
-
Point, Floating-, 34(2)141--177, 54(2)135--163,
65(7)1071--1096, 67(1)z--99999999, 67(4)z--z
-
point, floating-, 50(4)423--456
-
point-set, 5(2)239--255
-
Pointer, 58(1)33--65, 62(4)433--480, 63(2)369--392, 64(3)555--578
-
Pointwise, 64(8)1553--1610
-
Polgreen, Elizabeth, 67(2)z--99999999
-
Polgreen, Elizabeth, see Abate, Alessandro
-
Policies, 60(1)107--131
-
Policriti, A., 6(2)173--187, 15(3)317--337, 31(1)73--103
-
Policriti, A., see Cantone, D.,
see D'Agostino, G., \see{Gentilini, R.
-
Policriti, Alberto, 7(2)271--284, 22(4)433--483, 28(4)397--415
-
Policriti, Alberto, see Formisano, Andrea,
see Montanari, Angelo,
see Parlamento, Franco
-
Polite, 60(2)221--236, 66(3)331--355
-
Politeness, 64(1)97--134, 67(4)z--99999999
-
Pollack, Randy, 49(2)185--207
-
Pollack, Robert, 9(3)309--354, 23(3)373--409
-
Pollack, Robert, see Avron, Arnon,
see McKinna, James
-
Pollack:2012:CLN, 49(2)185--207
-
Pollock, John L., 6(4)419--461
-
Pollock:1990:IDS, 6(4)419--461
-
Poly-Power, 64(1)1--20
-
Polyadic, 46(3)293--323
-
polygon, 62(3)301--329
-
Polyhedra, 23(1)83--104, 62(4)505--530, 63(2)323--345
-
polymodal, 15(3)317--337
-
Polymorphism, 63(2)439--462
-
polynomial, 21(1)23--38, 34(4)z--z, 46(2)205--221, 48(1)107--131,
51(2)151--196, 54(4)285--326, 62(1)69--91, 62(2)281--300
-
Pong, Ping-, 36(1)125--147
-
Popescu, Andrei, 58(1)149--179, 61(1)1--8, 61(1)113--139, 62(2)237--260,
62(4)531--555, 64(4)641--675, 65(2)321--356, 65(7)1027--1070,
67(3)z--99999999
-
Popescu, Andrei, see Avigad, Jeremy,
see Bauereiß, Thomas,
see Blanchette, Jasmin Christian,
see Gheri, Lorenzo,
see Kun{\v{c}}ar, Ond{\v{r}}ej
-
Popescu:2021:CCM, 65(2)321--356
-
Popescu:2021:DRG, 65(7)1027--1070
-
Popescu:2023:RRB, 67(3)z--99999999
-
PoplMark, 49(3)303--326, 49(3)327--362
-
Portfolio, 46(2)103--160, 63(3)723--762
-
Posegga, Joachim, 15(3)339--358
-
Posegga, Joachim, see Beckert, Bernhard
-
positive, 6(4)389--402, 19(2)205--262, 25(1)35--82, 57(2)135--156
-
Positiveness, 21(1)23--38
-
POSIX, 67(3)z--99999999
-
Posthumous, 66(4)575--584
-
Postulates, 62(1)1--68
-
Pottier, François, 62(3)331--365,
see Charguéraud, Arthur
-
Pous, Damien, 64(5)795--825
-
Pous, Damien, see Doczkal, Christian
-
power, 13(1)69--82, 17(1)23--81, 46(2)205--221, 47(3)291--318,
64(4)689--697
-
Power, Poly-, 64(1)1--20
-
powerful, 17(3)371--403
-
Powerlist, 43(2)139--172
-
Powers, Lawrence, 7(4)597--630
-
Powers, Lawrence, see Meyer, Robert K.
-
powerset, 7(2)193--230
-
practical, 11(1)1--22, 49(1)107--109, 64(7)1247--1267
-
Practically, 68(3)z--99999999
-
practice, 34(3)295--321, 64(6)1001--1050
-
Precise, 64(7)1333--1359
-
Precision, 29(3)225--252
-
predicate, 1(4)435--440, 6(4)463--464, 8(2)307--309, 13(3)361--373,
65(3)357--423, 66(1)93--139
-
Predicting, 36(3)177--212
-
Preemptive, 42(2)301--347
-
preface, 2(3)219--220, 2(3)221--252, 13(2)173--173, 14(1)1--1, 15(1)v--v,
16(1)1--1, 20(1)1--3, 21(3)277--278, 23(3)195--196, 29(3)183--188,
31(3)189--190, 32(1)1--2, 32(3)185--186, 33(3)219--220,
34(2)103--104, 34(4)323--323, 38(1)1--2, 39(2)107--108,
39(3)245--247, 40(2)87--88, 41(3)191--192, 44(1)z--99999999,
45(1)1--2, 45(2)89--89, 46(3)223--224, 47(2)107--109, 47(4)337--339,
49(2)111--114, 49(3)301--302, 51(1)1--2, 57(1)1--2, 58(1)1--2,
58(3)311--312, 59(1)1--2, 60(1)1--2, 62(2)169--170, 62(4)431--432,
63(2)157--158, 63(4)809--811, 63(4)1003--1004, 64(3)361--362,
64(3)511--511, 64(5)793--794, 64(7)1165--1167, 64(7)1331--1332,
65(7)891--892
-
Preference, 45(1)3--19
-
Preference-Based, 29(2)125--169
-
Prefix, 68(1)z--99999999
-
Preiner, Mathias, 65(7)1001--1025
-
Preiner, Mathias, see Niemetz, Aina
-
Premise, 52(2)191--213
-
Preprocessing, 58(1)97--125, 58(4)413--481, 67(3)z--99999999
-
prerequisites, 15(1)41--68
-
Presburger, 36(3)213--239, 47(4)341--367
-
presence, 7(1)109--158
-
Presentation, 45(3)213--241, 45(3)243--266, 50(2)229--241
-
Presented, 28(3)235--256
-
Preserve, 67(3)z--99999999
-
Preserving, 57(1)67--95
-
Presheaf, 49(2)161--183
-
Press, 35(4)429--431, 49(1)107--109
-
Preto, Sandro, 64(7)1269--1286
-
Preto, Sandro, see Finger, Marcelo
-
preventing, 6(3)299--317
-
Prevosto, Virgile, 29(3)337--363
-
Prevosto:2002:API, 29(3)337--363
-
Price, Greg, 40(2)133--177
-
Price, Greg, see Chaudhuri, Kaustuv
-
Pricing, 64(4)737--765
-
Primal, 53(4)317--350
-
Prime, 18(3)337--356, 22(2)149--170, 43(3)243--261, 46(2)205--221,
50(2)161--172
-
Primitive, 46(3)293--323, 68(3)z--99999999
-
Primitivity, 67(3)z--99999999
-
principle, 2(3)219--220, 2(3)221--252, 8(2)213--274, 45(1)61--87,
55(3)295--306
-
prior, 10(2)283--284
-
Priority, 15(1)41--68, 64(1)73--95
-
Pritchard, Paul, 7(4)475--487
-
Pritchard:1991:AFM, 7(4)475--487
-
Privacy, 60(1)107--131
-
probabilistic, 1(3)263--283, 18(1)5--24, 36(1)85--124, 60(1)85--105,
64(7)1269--1286
-
probability, 10(2)191--235, 66(4)585--610
-
Probable, 46(2)103--160
-
Probably, 64(7)1269--1286
-
problem, 1(1)103--114, 2(1)1--42, 2(1)89--101, 2(2)191--216,
2(4)iii--iii, 3(1)81--90, 3(2)201--209, 3(3)319--328, 3(4)379--381,
3(4)433--435, 4(1)101--107, 4(2)215--217, 4(3)327--329,
4(4)463--464, 5(1)37--47, 5(1)93--95, 5(2)141--165, 5(2)235--237,
5(3)339--362, 5(3)399--401, 5(4)531--532, 5(4)533--540, 6(1)1--38,
6(1)77--78, 6(2)211--212, 6(3)337--339, 6(3)341--359, 6(4)463--464,
7(1)105--107, 7(2)285--286, 7(2)287--300, 7(3)435--438,
7(4)631--634, 7(4)635--637, 8(2)307--309, 8(3)311--344,
8(3)395--419, 8(3)421--426, 9(1)141--143, 9(2)169--178,
9(2)231--260, 9(2)261--288, 9(2)289--290, 9(3)407--408,
10(1)137--138, 10(2)283--284, 10(3)421--422, 11(1)147--148,
11(2)289--291, 11(3)333--351, 11(3)433--434, 12(1)47--87,
12(1)133--134, 12(2)241--264, 12(2)265--271, 12(3)407--409,
17(2)215--257, 18(1)135--135, 19(1)31--85, 19(3)263--276,
20(3)255--282, 21(2)177--203, 23(2)107--136, 24(1)37--65,
24(1)67--100, 24(1)165--203, 24(1)205--223, 27(2)157--174,
29(1)67--89, 31(1)73--103, 34(1)31--47, 35(1)143--179,
37(4)261--276, 38(1)261--271, 43(4)z--99999999, 51(1)57--77,
52(1)99--122, 55(4)307--372, 58(4)509--535, 59(4)483--502,
62(1)69--91, 63(3)695--722, 66(3)301--329, 68(2)z--99999999
-
procedural, 5(2)167--205, 44(1)z--99999999
-
procedure, 2(2)171--190, 4(2)173--190, 4(4)425--444, 6(2)189--201,
6(2)203--209, 7(2)193--230, 7(2)231--256, 7(2)257--270,
7(2)271--284, 11(1)115--145, 12(1)47--87, 12(3)351--358,
13(2)189--210, 18(2)163--169, 19(1)117--141, 22(2)171--221,
27(3)297--311, 28(2)143--171, 28(2)173--204, 28(3)235--256,
28(3)257--305, 33(3)251--269, 34(1)49--72, 35(1)265--293,
36(1)85--124, 37(1)93--116, 38(1)173--199, 38(4)353--373,
39(3)249--276, 40(2)89--116, 40(4)357--357, 51(2)197--239,
51(4)453--456, 52(4)407--450, 53(3)305--315, 54(4)285--326,
54(4)327--352, 55(2)185--185, 56(4)387--457, 58(1)127--147,
58(3)341--362, 62(2)281--300, 64(1)1--20, 65(7)971--999,
67(1)z--99999999, 67(3)z--99999999
-
process, 2(2)155--170, 43(1)53--80, 56(3)309--341, 59(3)345--387
-
processing, 8(1)23--38, 28(1)1--34, 32(2)167--184, 38(1)155--172,
64(3)485--510
-
Processors, 64(8)1611--1662
-
Producing, Proof-, 64(7)1287--1306
-
product, 24(1)145--163, 37(1)45--66
-
production, 12(3)305--349, 14(2)257--291
-
Productive, 16(1)79--111
-
program, 1(3)285--326, 2(2)155--170, 5(2)167--205, 5(4)533--540,
6(1)51--75, 6(2)147--172, 6(3)319--335, 7(1)27--103, 7(3)337--358,
8(3)345--366, 10(3)345--370, 12(3)305--349, 13(1)145--172,
16(3)223--239, 17(3)259--289, 19(3)277--318, 21(2)233--275,
22(1)65--115, 26(2)205--221, 27(1)61--87, 34(2)179--207,
40(4)245--269, 41(1)1--31, 42(2)301--347, 45(2)131--156,
50(2)135--146, 50(4)383--421, 50(4)423--456, 51(3)241--280,
54(3)199--284, 58(1)3--31, 58(1)33--65, 59(1)3--45, 60(1)23--42,
60(3)279--298, 60(3)337--363, 61(1)367--422, 64(3)555--578,
64(7)1393--1418, 66(4)747--803, 67(2)z--99999999, 68(2)z--99999999,
68(3)z--99999999
-
programming, 4(3)287--325, 6(1)77--78, 7(3)383--401, 7(4)563--585,
10(2)143--160, 10(3)399--420, 11(1)43--81, 13(1)35--67,
13(2)175--188, 14(1)93--147, 16(3)427--427, 17(1)97--128,
18(1)25--46, 20(1)107--142, 21(2)233--275, 22(3)241--262,
24(1)37--65, 29(1)91--106, 36(4)z--z, 37(4)323--349, 39(4)z--z,
49(3)427--451, 60(2)157--176, 63(4)967--1002, 67(2)z--99999999,
68(1)z--99999999
-
Progress, 48(2)159--195
-
progression, 67(1)z--99999999
-
Project, 50(2)173--190, 64(5)947--999
-
Projection, 64(7)1445--1481
-
Projective, 68(1)z--99999999
-
PROLOG, 5(1)49--65, 5(3)403--408
-
prolog, 2(4)329--390, 4(4)353--380, 6(3)319--335, 7(1)1--26
-
Promela, 41(3)z--z
-
Proof-Carrying, 31(3)191--229
-
Proof-Guided, 45(4)437--473
-
Proof-Producing, 64(7)1287--1306
-
Proof-Search, 30(2)121--151, 62(1)127--167, 64(7)1197--1219
-
Proof-Theoretic, 68(3)z--99999999
-
Propagation, 63(3)723--762, 67(3)z--99999999
-
property, 14(3)427--462, 28(4)337--369, 34(2)179--207, 35(1)181--200,
50(2)123--133, 50(4)383--421, 51(2)129--149, 52(1)67--97,
54(4)327--352, 64(3)555--578, 65(4)463--478, 65(4)479--520,
67(1)z--99999999
-
propositional, 2(2)171--190, 6(3)319--335, 7(4)475--487, 7(4)537--561,
8(3)367--394, 12(1)89--102, 22(4)379--396, 23(2)137--193,
24(1)101--125, 24(3)297--317, 27(3)297--311, 28(2)173--204,
28(4)397--415, 35(1)3--24, 36(4)z--z, 37(1)3--20, 38(1)173--199,
44(4)401--424, 51(2)129--149, 52(1)67--97, 58(4)413--481,
62(1)127--167, 68(3)z--z
-
Protected, 6(2)147--172
-
Protocol, 36(1)1--3, 36(1)5--37, 36(1)85--124, 36(1)125--147,
36(1)149--176, 42(1)1--33, 43(2)203--236, 46(3)325--352,
46(3)353--388, 48(2)219--262, 48(4)441--487, 56(3)309--341,
64(1)73--95, 65(4)479--520, 65(4)521--567
-
Protocols, -, 65(4)521--567
-
Prototype, 58(2)231--251, 65(8)1125--1151, 67(2)z--99999999,
68(3)z--99999999
-
Provability, 67(3)z--99999999
-
prove, 6(2)203--209, 12(3)351--358, 65(2)257--286
-
proved, 11(1)1--22, 34(2)105--139, 47(1)1--16, 64(1)73--95
-
prover, 1(2)121--139, 2(2)191--216, 3(2)211--221, 4(1)69--100,
4(2)117--172, 4(4)353--380, 5(3)363--397, 7(4)489--510,
7(4)511--536, 8(1)45--75, 8(2)153--181, 8(2)183--212, 8(2)275--295,
9(3)355--372, 12(3)359--388, 13(3)375--390, 13(3)409--421,
16(1)181--222, 17(2)145--169, 18(2)183--188, 18(2)189--198,
18(2)205--210, 18(2)221--226, 18(2)253--258, 26(1)67--106,
26(4)357--408, 32(1)3--33, 44(3)175--205, 49(3)427--451,
50(1)99--117, 55(2)91--116, 55(2)117--183, 55(4)389--404,
56(3)367--386, 58(2)253--291, 64(1)135--165, 64(3)461--484,
64(3)611--640, 64(7)1169--1195, 67(1)z--99999999, 68(1)z--99999999,
68(3)z--99999999
-
Prover-Backend, 44(1)z--z
-
provers, SAT-, 32(4)z--99999999
-
Provide, 47(1)57--105
-
proving, 1(1)75--101, 2(1)63--74, 2(3)219--220, 2(3)221--252,
2(3)253--273, 2(4)329--390, 3(1)91--107, 3(3)329--338, 3(4)437--451,
4(3)237--267, 4(3)331--352, 5(4)533--540, 6(4)403--417,
7(2)171--191, 7(3)439--446, 11(1)83--113, 11(3)317--331,
12(1)103--129, 13(2)223--242, 13(3)283--296, 14(2)237--255,
14(2)293--316, 15(1)95--165, 16(1)39--78, 18(1)105--134,
20(1)27--45, 21(1)1--21, 21(2)233--275, 21(3)295--325,
21(3)357--380, 21(3)381--400, 22(2)117--147, 24(1)145--163,
25(2)83--121, 25(3)219--246, 28(4)417--434, 31(1)11--21,
31(1)33--72, 32(3)187--226, 34(4)z--z, 35(4)391--427, 39(2)107--108,
39(4)431--470, 40(2)195--220, 41(3)295--323, 42(2)349--388,
47(2)133--160, 47(2)161--189, 48(2)159--195, 51(1)57--77,
53(2)141--172, 54(1)69--97, 55(1)39--59, 56(3)201--203,
57(3)187--217, 58(1)33--65, 58(4)483--508, 59(3)331--344,
59(4)425--454, 61(1)1--8, 64(2)167--195, 64(2)253--294,
64(5)793--794, 64(8)1553--1610, 66(4)499--539, 66(4)689--746,
67(4)z--99999999
-
proving, theorem-, 12(2)241--264, 13(2)189--210, 16(3)321--353
-
Pruning, 23(2)137--193
-
Pruning, Search-, 19(3)347--376
-
Przymusinski, Teodor C., 5(2)167--205, 20(1)107--142
-
Przymusinski, Teodor C., see Alferes, José Júlio
-
Przymusinski:1989:DPS, 5(2)167--205
-
PS, 49(4)551--582
-
Psi-Calculi, 56(1)1--47
-
PSpace, 63(3)539--555
-
PTTP, 13(3)339--359
-
Publisher, 4(1)v--v, 4(3)iii--iii, 5(1)v--v, 6(4)iii--iii, 7(1)v--v,
8(1)v--v
-
Puddu, Alessandra, 45(4)397--414
-
Puddu, Alessandra, see Angeletti, Damiano
-
Puebla, Germán, 46(2)161--203, see Albert, Elvira
-
Pujari, Arun K., 22(2)149--170
-
Pujari, Arun K., see Shiny, A. K.
-
Purchase, 36(1)5--37
-
pure, 15(3)279--315, 35(1)89--95
-
purpose, general-, 6(1)77--78
-
Purushothaman, S., 5(1)67--91
-
Purushothaman:1989:MCS, 5(1)67--91
-
Putnam, Davis-, 24(1)277--296
-
Putting, 10(3)389--397
-
puzzle, 5(3)403--408, 20(3)215--253
-
PVS, 60(1)63--84, 65(8)1231--1263
-
Pythagorean, 63(3)695--722