Index file section P for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
P
-
P, 11(4)22--22, 12(2)11--11, 14(2)10--10, 14(2)14--14, 15(3)19--19, 18(1)2--2,
18(2)10--10, 19(2)7--7, 20(2)8--8, 23(1)6--6, 23(3)17--17,
24(3)25--25
-
p, 12(2)9--9, 13(2)12--12, 19(3)18--18, 20(4)21--21, 24(1)8--8
-
p-equivalence, 16(3)19--19
-
p-equivalent, 16(3)19--19
-
p-simulated, 16(3)19--19
-
p-terms, 2(1)93--134
-
p-time, 22(2)11--11
-
PA, 15(4)26--26
-
PA-processes, 15(4)26--26
-
pace-complete, 17(1)2--2
-
package, 8(3)14--14, 12(2)15--15
-
packet, 12(1)5--5
-
PAD, 15(4)26--26
-
Padmanabha, Anantha, 24(4)29--29
-
Padmanabha:2023:DFF, 24(4)29--29
-
Padoan, Tommaso, 21(4)34--34
-
Padoan, Tommaso, see Baldan, Paolo
-
Pagel, Jens, 24(1)1--1
-
Pagel, Jens, see Matheja, Christoph
-
pair, 2(1)93--134, 10(3)16--16, 10(3)20--20, 10(4)27--27, 12(2)10--10,
12(2)11--11, 14(4)34--34, 15(1)4--4, 15(3)19--19, 16(4)31--31,
17(1)3--3, 17(2)11--11, 18(4)27--27, 18(4)29--29, 19(2)14--14,
20(1)3--3, 20(4)22--22, 24(3)23--23
-
paired, 20(2)12--12
-
pairwise, 17(2)10--10
-
Pakusa, Wied, 19(2)7--7
-
Pakusa:2018:DCF, 19(2)7--7
-
Palamidessi, 13(4)28--28
-
Palamidessi, Catuscia, 13(4)28--28
-
Palamidessi, Catuscia, see Chatzikokolakis, Konstantinos
-
Paliouras, Georgios, 16(2)11--11
-
Paliouras, Georgios, see Skarlatidis, Anastasios
-
Palmigiano, Alessandra, 20(4)24--24, 23(4)23--23, 24(2)13--13
-
Palmigiano, Alessandra, see Chen, Jinsheng,
see Conradie, Willem,
see Greco, Giuseppe
-
Palopoli, Luigi, 4(2)149--180, 9(1)7--7
-
Palopoli, Luigi, see Angiulli, Fabrizio
-
Panangaden, Prakash, 13(4)28--28, 15(1)3--3
-
Panangaden, Prakash, see Bonchi, Filippo,
see Chatzikokolakis, Konstantinos
-
Panda, Sibsankar, 24(1)2--2
-
Panda, Sibsankar, see Khan, Md. Aquil
-
Pang, Jun, 19(4)27--27
-
Pang, Jun, see Li, Yongjian
-
Papacchini, Fabio, 21(3)20--20
-
Papacchini, Fabio, see Hernich, André
-
paper, 1(2)175--207, 1(2)208--246, 1(2)247--284, 1(2)285--320,
2(1)135--153, 2(2)255--287, 2(3)340--387, 2(3)408--429, 8(4)19--19,
8(4)21--21, 8(4)22--22, 8(4)23--23, 8(4)24--24, 9(1)7--7,
10(2)12--12, 10(3)22--22, 12(2)13--13, 13(1)3--3, 13(2)13--13,
13(2)17--17, 15(4)26--26, 15(4)31--31, 19(1)1--1, 19(2)13--13,
20(3)17--17
-
Paperman, Charles, 18(3)20--20
-
Paperman, Charles, see Fijalkow, Nathanaël
-
Papini, Odile, 17(3)20--20
-
Papini, Odile, see Creignou, Nadia
-
paraconsistent, 8(3)18--18, 16(1)5--5
-
paradigm, 2(3)388--407, 10(1)3--3, 11(3)16--16, 12(4)25--25, 14(1)2--2,
14(2)10--10, 14(2)16--16, 14(4)28--28, 19(2)14--14, 20(3)16--16,
24(2)15--15, 24(2)18--18
-
paradox, 1(2)175--207
-
parallel, 4(4)578--651, 8(3)14--14, 9(3)19--19, 10(1)6--6, 14(2)12--12,
15(3)18--18, 16(4)30--30, 17(2)11--11, 17(4)28--28, 18(1)3--3,
19(4)31--31, 20(3)18--18, 23(4)22--22
-
Parallel, May-Happen-in-, 17(2)11--11
-
parallel, may-happen-in-, 17(2)11--11
-
parallel-completeness, 20(3)18--18
-
Parallel-Correctness, 20(3)18--18
-
parallel-correctness, 20(3)18--18
-
parallel-soundness, 20(3)18--18
-
parallelism, 8(3)14--14, 15(1)6--6, 19(4)31--31
-
parameter, 2(2)216--254, 2(3)388--407, 9(2)12--12, 13(2)16--16,
13(3)22--22, 14(3)18--18, 18(3)21--21, 23(3)17--17
-
parameter, Fixed-, 4(1)91--119
-
parameter, fixed-, 12(1)3--3, 15(1)9--9, 17(1)7--7, 17(2)10--10,
18(1)1--1, 18(3)21--21, 21(4)29--29
-
parameterised, 16(4)29--29
-
parameterization, 10(3)20--20, 17(1)4--4
-
parameterized, 10(3)20--20, 12(2)14--14, 14(3)18--18, 14(3)20--20,
16(1)6--6, 17(1)7--7, 17(2)10--10, 18(3)21--21, 18(4)29--29,
19(4)27--27, 20(2)8--8, 20(3)16--16, 23(3)17--17, 24(3)26--26,
24(4)30--30
-
parametric, 2(3)388--407, 9(2)12--12, 9(3)15--15, 10(1)4--4, 14(2)16--16,
23(3)18--18
-
parametrised, 18(1)1--1
-
parametrized, 13(2)16--16, 17(4)23--23
-
paraVerifier, 19(4)27--27
-
parent, 15(4)33--33
-
parental, 9(4)27--27
-
Parigot, 11(4)28--28
-
Parikh, 24(2)18--18
-
Paris--Harrington, 17(4)26--26
-
Paris-Harrington, 17(4)26--26
-
Parisi, Francesco, 16(3)22--22
-
Parisi, Francesco, see Fazzinga, Bettina
-
parity, 12(4)28--28, 13(4)29--29, 15(1)6--6, 15(2)17--17, 15(3)24--24,
17(4)24--24, 19(4)29--29, 22(3)16--16
-
Park, Kozen-, 19(1)4--4
-
Parker, Austin, 12(2)14--14
-
Parker, Austin, see Shakarian, Paulo
-
Parma, 16(1)2--2
-
parsimonious, 20(2)12--12
-
parsimony, 20(2)12--12
-
part, 1(1)131--161, 8(4)19--19, 8(4)20--20, 8(4)21--21, 9(3)20--20,
13(1)6--6, 14(2)10--10, 14(2)16--16, 14(3)17--17, 15(1)6--6,
15(4)31--31, 18(1)2--2, 18(2)8--8, 18(3)21--21, 19(2)14--14,
20(2)8--8, 20(3)13--13, 21(1)4--4
-
partial, 4(3)355--378, 5(4)611--668, 9(3)18--18, 10(3)22--22,
11(4)24--24, 13(4)30--30, 15(2)16--16, 15(3)24--24, 16(1)6--6,
16(3)25--25, 19(2)8--8, 19(2)12--12, 19(4)25--25, 21(1)5--5,
21(2)14--14, 24(3)22--22
-
partial-determinism, 19(2)13--13
-
Partial-Observation, 15(2)16--16
-
partiality, 7(1)1--37
-
partially, 2(1)1--11, 2(3)408--429, 15(1)8--8, 16(1)6--6, 17(2)10--10,
21(1)3--3, 21(4)32--32
-
particular, 1(1)33--59, 1(2)247--284, 2(1)57--92, 2(3)340--387,
2(3)388--407, 8(3)17--17, 9(2)13--13, 9(3)17--17, 9(3)18--18,
9(3)20--20, 10(2)11--11, 10(2)12--12, 10(3)15--15, 10(3)16--16,
10(3)17--17, 10(4)25--25, 11(4)22--22, 11(4)23--23, 11(4)25--25,
12(1)2--2, 12(2)11--11, 12(3)18--18, 12(4)26--26, 13(1)4--4,
13(2)10--10, 13(2)16--16, 13(3)21--21, 13(4)29--29, 13(4)33--33,
14(1)4--4, 14(2)13--13, 14(2)14--14, 14(2)15--15, 14(3)18--18,
14(3)20--20, 14(3)24--24, 14(4)30--30, 14(4)31--31, 15(1)4--4,
15(1)9--9, 15(1)10--10, 15(3)24--24, 15(4)27--27, 15(4)34--34,
16(1)2--2, 16(2)12--12, 16(2)18--18, 16(4)31--31, 16(4)33--33,
17(2)14--14, 17(3)20--20, 17(3)22--22, 17(4)31--31, 18(1)5--5,
18(1)6--6, 18(3)18--18, 18(3)24--24, 18(4)29--29, 18(4)31--31,
19(1)4--4, 19(1)5--5, 19(2)8--8, 19(2)12--12, 19(2)13--13,
19(3)19--19, 19(3)21--21, 19(4)24--24, 19(4)25--25, 20(1)4--4,
20(1)6--6, 20(4)20--20, 20(4)23--23, 21(1)4--4, 21(1)6--6,
21(4)29--29, 23(4)27--27
-
particularly, 2(3)408--429, 8(3)17--17, 14(2)11--11, 15(3)21--21,
16(3)22--22, 19(2)7--7, 20(1)5--5, 23(3)19--19, 24(3)20--20
-
partition, 16(3)24--24
-
partition-based, 20(3)15--15
-
partitioned, 2(3)408--429, 19(2)7--7
-
partly, 14(1)2--2
-
party, 20(4)20--20
-
PASLs, 19(2)13--13
-
Pasquale, Liliana, 15(4)30--30
-
Pasquale, Liliana, see Frigeri, Achille
-
pass, 19(2)14--14
-
passing, 5(3)436--469, 8(3)14--14, 10(2)12--12
-
passports, 17(1)3--3
-
past, 11(3)17--17, 12(2)10--10, 15(3)25--25, 15(4)30--30, 17(4)27--27,
20(1)4--4, 20(2)10--10, 22(1)1--1
-
past-time, 10(3)16--16
-
Patel, Vineeta Singh, 19(4)30--30
-
Patel, Vineeta Singh, see Khan, Md. Aquil
-
path, 2(2)182--215, 4(4)530--577, 13(2)15--15, 13(3)25--25, 13(4)34--34,
14(3)19--19, 14(4)33--33, 15(1)10--10, 15(2)16--16, 15(4)33--33,
16(1)4--4, 17(2)14--14, 18(2)10--10, 19(2)15--15, 19(3)17--17,
19(3)23--23, 19(4)31--31, 21(2)8--8, 22(3)20--20
-
path-accumulation, 15(4)27--27
-
pathsash, 12(1)5--5
-
pathwidth, 18(1)1--1
-
Patra, Manas K., 21(4)32--32
-
Patra, Manas K., see Van Der Meyden, Ron
-
pattern, 4(4)493--529, 10(3)20--20, 10(4)27--27, 13(2)10--10,
14(2)15--15, 16(1)1--1, 16(2)13--13, 16(3)27--27, 17(3)22--22,
18(2)10--10, 20(2)9--9, 21(1)6--6, 24(2)17--17
-
Pattinson, Dirk, 10(2)13--13, 23(2)11--11
-
Pattinson, Dirk, see Kupke, Clemens,
see Schröder, Lutz
-
Paulson, Lawrence C., 1(1)3--32, 7(4)658--675
-
Paulson:2000:MUI, 1(1)3--32
-
Paulson:2006:DFE, 7(4)658--675
-
Paulusma, Daniël, 23(3)14--14,
see Larose, Benoît
-
Pauly, Arno, 19(3)20--20
-
Pauly, Arno, see Le Roux, Stéphane
-
pave, 8(3)17--17, 11(3)17--17, 19(3)22--22
-
pay, 20(2)12--12
-
payoff, 15(2)17--17
-
payoff, mean-, 15(4)27--27, 18(2)12--12
-
PBDP, 24(4)34--34
-
PC, 23(3)16--16
-
Pc, 12(1)4--4
-
PCL, 10(3)21--21
-
Pcr, 12(1)4--4
-
Pcrk, 12(1)4--4
-
PCTL*, 20(4)21--21
-
PDEL, 20(4)24--24
-
PDEL-models, 20(4)24--24
-
PDL, Petri-, 22(2)9--9
-
PDS, 15(4)26--26
-
peaks, 14(4)31--31
-
Pearce, 13(4)33--33
-
Pearce, David, 2(4)526--541
-
Pearce, David, see Lifschitz, Vladimir
-
Pearl, 9(3)20--20
-
pebble, 11(4)26--26, 13(2)16--16, 14(3)19--19, 15(2)15--15, 18(4)29--29
-
pebbling, 13(2)16--16
-
Péchoux, Romain, 10(4)27--27, see Marion, Jean-Yves
-
peculiar, 19(4)25--25
-
Pedicini, Marco, 8(3)14--14
-
Pedicini:2007:PPE, 8(3)14--14
-
Peim, Martin, 2(1)12--56
-
Peim, Martin, see Fisher, Michael
-
Peitl, Tomás, 24(2)10--10, see Beyersdorff, Olaf
-
PELCR, 8(3)14--14
-
Peled, Doron, 2(3)388--407
-
Peled, Doron, see Alur, Rajeev
-
Peleg, 16(4)30--30
-
Peltier, Nicolas, 14(2)11--11, 21(3)19--19
-
Peltier, Nicolas, see Echenim, Mnacho
-
Peña, Ricardo, 21(2)13--13, see Montenegro, Manuel
-
pendant, 20(3)17--17
-
Penguin, 16(4)32--32
-
People, 23(1)4--4
-
Peppas, Pavlos, 13(4)30--30
-
Peppas:2012:MMB, 13(4)30--30
-
per, 13(2)13--13, 17(1)3--3, 21(1)5--5
-
per-device, 20(1)5--5
-
perceives, 10(1)3--3
-
Perelli, Giuseppe, 15(4)34--34, 22(2)8--8, 24(3)21--21
-
Perelli, Giuseppe, see Bouyer, Patricia,
see Gutierrez, Julian,
see Mogavero, Fabio
-
Pérez, Guillermo, 24(1)3--3, see Blondin, Michael
-
perfect, 1(2)247--284, 13(1)7--7, 13(3)22--22, 15(2)16--16, 16(4)35--35,
20(2)10--10, 21(4)32--32
-
perfect-information, 22(3)16--16
-
perform, 2(1)93--134, 8(3)15--15, 8(3)16--16, 13(4)34--34, 15(1)7--7,
17(1)6--6, 18(4)26--26, 19(2)7--7, 19(4)31--31
-
performance, 10(1)4--4, 12(1)5--5, 14(1)2--2, 14(3)20--20, 14(4)33--33,
15(3)23--23, 15(4)32--32, 20(2)12--12
-
performant, 18(3)24--24
-
performed, 14(2)12--12, 15(1)8--8, 15(4)33--33, 15(4)35--35, 17(2)9--9,
18(1)7--7, 19(2)14--14, 20(4)19--19
-
performing, 8(3)14--14, 20(4)25--25
-
perhaps, 13(2)16--16, 18(4)31--31
-
periodic, 20(3)16--16
-
permanent, 16(4)35--35
-
permeated, 10(1)3--3
-
Permissive-Nominal, 13(3)20--20
-
Permissive-nominal, 13(3)20--20
-
permit, 9(2)9--9, 13(3)24--24, 14(4)32--32, 15(4)27--27
-
permutative, 12(3)22--22
-
Peron, Adriano, 20(1)4--4, 24(3)24--24
-
Peron, Adriano, see Bozzelli, Laura
-
Perri, Simona, 7(3)499--562
-
Perri, Simona, see Leone, Nicola
-
Perron, Laurent, 1(2)285--320
-
Perron, Laurent, see Hentenryck, Pascal van
-
persistence, 16(2)14--14
-
persistency, 6(3)481--518, 11(2)12--12
-
persistent, 12(2)16--16, 14(3)24--24, 14(4)26--26, 20(2)10--10
-
persistent, shift-, 13(3)24--24
-
persistently, 16(4)35--35
-
perspective, 2(3)340--387, 10(1)1--1, 13(2)10--10, 13(4)33--33,
15(4)32--32, 18(3)21--21, 19(2)7--7, 19(3)17--17, 21(4)28--28
-
perturbation, 13(1)1--1
-
Petri, 12(4)27--27, 15(4)26--26, 18(3)24--24, 20(3)17--17, 22(2)9--9
-
Petri-PDL, 22(2)9--9
-
Petrov, Tatjana, 18(2)12--12
-
Petrov, Tatjana, see Daca, Przemyslaw
-
Peyronnet, Sylvain, 8(4)20--20
-
Peyronnet, Sylvain, see Laplante, Sophie
-
Pfeifer, Gerald, 5(2)206--263, 7(3)499--562
-
Pfeifer, Gerald, see Eiter, Thomas,
see Leone, Nicola
-
Pfenning, 12(2)15--15, 15(3)21--21
-
Pfenning, Frank, 3(3)335--335, 4(4)493--529, 6(1)61--101, 9(3)23--23
-
Pfenning, Frank, see Abadi, Martín,
see Harper, Robert,
see Momigliano, Alberto,
see Nanevski, Aleksandar
-
PGP, 24(1)5--5
-
Pham, Trung Van, 18(3)23--23
-
Pham, Trung Van, see Bodirsky, Manuel
-
phase, 14(1)6--6, 14(4)25--25, 15(4)28--28, 17(1)7--7, 17(3)22--22,
19(4)31--31
-
phase-transition, 17(3)22--22
-
phenomena, 14(2)10--10
-
phenomenon, 17(2)10--10
-
Philippe, Matthew, 23(2)8--8
-
Philippe, Matthew, see Anevlavis, Tzanis
-
Philosophy, 13(3)26--26
-
PHL, 1(1)60--76, 1(1)171--174
-
PHP, 22(2)11--11
-
phrased, 12(3)21--21
-
phylogenetic, 18(3)23--23
-
phylogeny, 18(3)23--23
-
physical, 9(2)13--13, 20(1)5--5
-
physically, 10(3)19--19
-
\Pi, 20(2)8--8, 20(3)16--16
-
pi, 17(4)23--23
-
pi-calculus, 14(1)4--4
-
Pianini, Danilo, 20(1)5--5
-
Pianini, Danilo, see Audrito, Giorgio
-
Piazza, Carla, 9(3)15--15
-
Piazza, Carla, see Dovier, Agostino
-
Pichler, Reinhard, 12(1)3--3
-
Pichler, Reinhard, see Gottlob, Georg
-
picture, 2(3)289--339, 18(2)9--9, 18(4)31--31, 19(1)1--1, 19(3)23--23,
20(1)4--4
-
piece, 11(4)25--25, 18(4)32--32
-
Piece-Wise, 19(2)10--10
-
piece-wise, 19(2)10--10
-
piecewise, 13(1)7--7, 16(4)33--33, 23(1)7--7
-
piecewise-linear, 19(3)19--19
-
Pientka, Brigitte, 9(3)23--23, 11(1)6--6, 23(4)25--25
-
Pientka, Brigitte, see Hu, Jason Z. S.,
see Nanevski, Aleksandar
-
Pientka:2009:HOT, 11(1)6--6
-
Pietro, Pierluigi, San, 21(3)26--26
-
pigeonhole, 11(3)19--19, 14(3)20--20, 17(4)26--26, 22(2)11--11
-
Pilipczuk, Micha{\l}, 21(2)11--11, 21(4)29--29,
see Eickmeyer, Kord,
see Gajarský, Jakub
-
Pimentel, Elaine, 20(2)7--7
-
Pimentel, Elaine, see Lellmann, Björn
-
Pin, 20(1)3--3
-
Pinault, Laureline, 22(1)7--7
-
Pinault, Laureline, see Berthon, Raphaël
-
Pinchinat, Sophie, 19(3)23--23, 22(1)7--7
-
Pinchinat, Sophie, see Berthon, Raphaël,
see Dima, Catalin
-
pinning, 14(2)15--15
-
pinpoint, 15(4)26--26, 18(2)10--10
-
pinpointing, 13(3)24--24
-
Pinto, Luís, 12(3)22--22,
see Santo, José Espírito
-
pipeline, 2(1)93--134
-
pipelined, 2(1)93--134
-
Piperno, Adolfo, 4(3)295--295
-
Piperno, Adolfo, see Grädel, Erich
-
Pitassi, 11(3)19--19
-
Piterman, 15(4)34--34
-
PITL, 16(2)15--15
-
Pitt, Jeremy, 10(1)1--1
-
Pitt, Jeremy, see Artikis, Alexander
-
Pitts, Andrew M., 21(3)25--25
-
Pitts, Gabbay-, 20(4)22--22
-
Pitts:2020:THE, 21(3)25--25
-
PIXML, 8(4)24--24
-
PK, 19(4)29--29
-
Place, Thomas, 21(2)9--9
-
Place:2020:AST, 21(2)9--9
-
placed, 13(2)15--15, 14(2)10--10, 19(2)8--8
-
places, 18(3)24--24
-
plain, 17(4)31--31
-
plan, 10(1)4--4, 10(1)5--5, 16(3)25--25
-
plane, 13(1)9--9, 14(2)13--13, 17(3)21--21
-
planning, 2(4)542--580, 5(2)206--263, 5(4)732--767, 7(4)613--657,
10(1)5--5, 18(4)27--27
-
platform, 8(3)18--18, 15(2)12--12, 23(1)4--4
-
Platzer, André, 17(1)1--1, 18(3)19--19
-
Platzer:2015:DGL, 17(1)1--1
-
Platzer:2017:DHG, 18(3)19--19
-
plausibility, 1(2)175--207
-
plausible, 17(1)7--7
-
plausibly, 10(1)2--2
-
play, 1(1)33--59, 1(2)175--207, 12(4)25--25, 12(4)26--26, 15(4)34--34,
16(1)6--6, 19(1)4--4, 23(2)9--9
-
played, 12(4)28--28, 13(2)16--16, 15(2)16--16
-
player, 11(3)19--19, 12(4)28--28, 13(3)22--22, 13(4)33--33, 15(2)16--16,
15(2)17--17, 16(4)33--33, 17(1)1--1, 18(3)19--19, 19(3)20--20,
21(3)21--21, 22(1)7--7
-
player, multi-, 22(1)5--5
-
player, two-, 12(4)28--28, 15(2)16--16, 19(3)20--20,
22(3)16--16
-
players-Éloïse, 21(3)21--21
-
playing, 24(3)26--26
-
pleasant, 10(2)13--13
-
Plotkin-style, 13(1)8--8
-
PLP, 9(4)27--27
-
PLTL, 2(3)388--407, 14(4)28--28
-
PLTS, 16(1)2--2
-
PLTSs, 16(1)2--2
-
PNL, 13(3)20--20
-
Podder, Moumanti, 23(2)12--12
-
Podder:2022:ZOL, 23(2)12--12
-
point, 1(1)131--161, 5(2)282--315, 9(3)15--15, 10(4)29--29, 12(2)14--14,
13(1)2--2, 13(2)15--15, 13(4)29--29, 14(1)3--3, 14(3)23--23,
14(4)26--26, 14(4)30--30, 15(2)14--14, 15(4)27--27, 15(4)33--33,
16(1)4--4, 16(3)27--27, 17(3)18--18, 17(3)21--21, 18(3)24--24,
19(3)16--16, 19(4)31--31, 20(1)4--4
-
point, fix-, 10(2)11--11
-
point, Fixed-, 21(1)4--4, 23(1)6--6
-
point, fixed-, 9(4)26--26, 14(3)21--21, 19(2)7--7, 20(3)15--15,
21(1)4--4, 23(1)6--6
-
point, single-, 19(2)10--10
-
point-and-click, 9(3)17--17
-
point-based, 20(1)4--4
-
point-wise, 20(1)4--4
-
pointed, 15(4)33--33, 20(1)3--3
-
pointer, 11(4)26--26, 17(2)12--12, 22(2)14--14
-
points, fixed-, 21(1)4--4
-
Polák, 20(1)3--3
-
polarised, 20(4)22--22
-
policy, 8(3)14--14, 9(3)16--16, 10(1)1--1, 19(4)26--26, 20(3)16--16,
20(3)18--18
-
Polleres, Axel, 5(2)206--263, 12(3)20--20
-
Polleres, Axel, see De Bruijn, Jos,
see Eiter, Thomas
-
Polonowski, Emmanuel, 10(4)26--26
-
Polonowski, Emmanuel, see Crolard, Tristan
-
poly, 11(4)22--22
-
polygon, 17(3)21--21
-
polymodal, 15(1)4--4
-
polymorphic, 9(1)3--3, 16(2)13--13, 16(3)26--26, 19(1)6--6
-
polymorphisms, 11(4)24--24, 18(1)2--2
-
polynomial, 1(1)131--161, 3(3)383--401, 5(2)321--331, 9(3)21--21,
10(1)5--5, 10(1)7--7, 10(2)8--8, 10(3)17--17, 10(4)25--25,
10(4)27--27, 10(4)28--28, 11(4)22--22, 12(1)4--4, 12(4)24--24,
13(2)12--12, 13(2)18--18, 13(4)32--32, 13(4)33--33, 14(1)3--3,
14(2)10--10, 14(2)16--16, 14(4)30--30, 15(1)1--1, 15(1)6--6,
15(2)17--17, 15(3)19--19, 15(3)24--24, 16(1)1--1, 16(1)6--6,
16(4)28--28, 16(4)33--33, 17(1)7--7, 17(3)19--19, 18(2)11--11,
18(3)21--21, 18(3)23--23, 18(3)24--24, 19(2)7--7, 19(4)25--25,
20(1)1--1, 20(4)25--25, 21(1)4--4, 23(3)16--16
-
polynomial, quasi-, 17(4)26--26
-
polynomial, super-, 23(3)16--16
-
polynomial-size, 11(3)18--18
-
polynomial-space, 15(1)2--2
-
polynomial-time, 3(4)521--541, 10(2)8--8, 10(4)24--24, 12(2)12--12,
13(2)15--15, 14(3)17--17, 14(4)30--30, 16(3)22--22, 17(2)10--10,
18(3)23--23, 18(4)26--26, 19(2)7--7, 20(2)8--8
-
polynomial/formula, 21(1)4--4
-
polynomially, 7(2)199--218, 10(2)14--14, 10(4)27--27, 13(3)23--23,
19(1)2--2, 19(4)29--29, 24(1)5--5
-
polytope, 16(1)6--6, 20(4)19--19
-
Ponomaryov, Denis, 18(2)16--16
-
Ponomaryov:2017:PDL, 18(2)16--16
-
Ponse, Alban, 12(3)21--21
-
Ponse, Alban, see Bergstra, Jan A.
-
Pontelli, Enrico, 15(2)12--12
-
Pontelli, Enrico, see Son, Tran Cao
-
Popovici, Matei, 20(2)10--10
-
Popovici, Matei, see Bulling, Nils
-
popular, 10(3)15--15, 14(1)1--1, 16(3)22--22, 17(4)32--32, 18(4)27--27,
19(1)4--4, 19(3)22--22, 20(2)10--10
-
population, 9(1)7--7, 20(4)19--19
-
port, 24(1)7--7
-
portable, 8(3)14--14
-
Porter, Christopher P., 18(3)18--18, 23(4)24--24
-
Porter, Christopher P., see Barmpalias, George,
see Case, Adam
-
portion, 16(3)25--25, 18(4)31--31
-
portrays, 16(4)32--32
-
pose, 16(1)3--3
-
posed, 11(4)22--22, 16(1)3--3, 16(2)10--10, 18(2)8--8, 21(2)8--8
-
poset, 17(2)10--10, 20(1)3--3, 21(2)14--14
-
position, 2(2)216--254, 2(4)581--622, 10(3)16--16, 12(4)27--27,
15(2)15--15, 19(3)20--20
-
positional, 15(2)17--17
-
positive, 1(2)208--246, 2(1)93--134, 9(1)2--2, 9(2)14--14, 11(4)27--27,
13(1)5--5, 14(3)19--19, 15(1)9--9, 15(2)16--16, 15(3)24--24,
15(3)25--25, 15(4)34--34, 16(1)5--5, 16(1)6--6, 17(4)30--30,
18(1)5--5, 19(1)1--1, 20(4)22--22, 23(2)12--12
-
positively, 15(2)16--16
-
possibilistic, 18(2)15--15, 21(1)3--3
-
possibility, 1(1)131--161, 9(3)22--22, 12(1)2--2, 14(3)23--23,
18(2)15--15, 24(1)2--2
-
possible, 1(2)175--207, 2(3)289--339, 8(3)16--16, 8(3)18--18, 9(3)17--17,
9(4)29--29, 10(2)13--13, 10(3)21--21, 10(3)22--22, 12(2)14--14,
13(1)7--7, 13(4)29--29, 13(4)30--30, 14(2)10--10, 14(4)29--29,
15(1)10--10, 15(3)21--21, 15(4)30--30, 15(4)33--33, 15(4)35--35,
16(1)8--8, 16(2)16--16, 16(3)21--21, 16(3)25--25, 16(4)33--33,
17(1)7--7, 17(2)14--14, 18(2)8--8, 18(4)27--27, 18(4)28--28,
18(4)31--31, 19(3)22--22, 20(2)10--10, 20(2)12--12, 20(3)15--15,
20(4)20--20, 20(4)23--23
-
possibly, 1(1)131--161, 13(4)30--30, 14(2)16--16, 14(4)33--33, 16(1)2--2,
16(3)27--27, 16(4)35--35, 18(1)4--4, 18(1)6--6, 18(3)25--25,
21(2)16--16, 21(3)25--25
-
Post, 18(1)1--1
-
post-conditions, 1(1)60--76, 1(1)171--174
-
postcondition, 2(1)1--11, 14(4)34--34
-
postulate, 1(1)77--111, 8(3)15--15, 8(3)16--16, 9(3)19--19, 13(4)30--30,
14(2)14--14, 14(3)24--24, 16(4)31--31, 17(3)20--20, 18(1)6--6,
19(2)12--12
-
potential, 9(1)7--7, 13(4)33--33, 14(3)17--17, 15(4)31--31, 16(2)12--12,
16(4)29--29, 19(4)28--28, 23(3)19--19
-
potentially, 2(1)135--153, 9(3)20--20, 12(3)18--18, 13(3)27--27,
14(4)27--27
-
Poussin, 9(1)2--2
-
power, 1(1)33--59, 2(1)135--153, 2(3)408--429, 9(3)22--22, 11(4)23--23,
11(4)26--26, 13(1)6--6, 13(3)19--19, 13(3)20--20, 13(4)31--31,
14(4)33--33, 15(2)15--15, 15(2)16--16, 15(4)26--26, 16(3)19--19,
17(2)12--12, 17(3)15--15, 17(3)17--17, 17(4)25--25, 18(3)24--24,
18(4)33--33, 19(2)7--7, 19(2)11--11, 19(2)13--13, 19(3)16--16,
20(2)10--10, 21(1)2--2, 21(2)15--15, 23(1)6--6, 23(3)19--19,
24(1)5--5
-
power-series, 17(3)15--15
-
powerful, 9(1)4--4, 9(1)5--5, 9(4)24--24, 10(2)8--8, 10(2)14--14,
10(3)20--20, 13(1)6--6, 15(4)34--34, 18(1)4--4, 18(2)10--10,
20(2)12--12, 21(2)13--13, 24(1)8--8
-
powerset, 14(1)7--7
-
Poza, María, 15(3)23--23
-
Poza:2014:CRS, 15(3)23--23
-
Pozzato, Gian Luca, 8(4)22--22, 10(3)18--18
-
Pozzato, Gian Luca, see Giordano, Laura,
see Olivetti, Nicola
-
PP, 10(1)7--7
-
pp-interpretability, 20(1)1--1
-
practical, 1(1)131--161, 10(1)3--3, 10(1)4--4, 10(2)9--9, 10(2)11--11,
12(1)6--6, 13(2)13--13, 13(4)33--33, 14(2)16--16, 14(4)30--30,
16(1)4--4, 16(2)12--12, 16(2)16--16, 18(2)13--13, 18(3)21--21,
19(3)22--22, 19(4)24--24, 19(4)28--28, 20(2)12--12
-
practically, 17(1)4--4, 18(2)10--10
-
practice, 9(3)20--20, 13(1)1--1, 14(2)12--12, 16(1)1--1, 16(2)16--16,
18(2)10--10
-
PRAMs, 9(3)19--19
-
Pratt-Hartmann, Ian, 14(2)13--13
-
Pratt-Hartmann, Ian, see Kontchakov, Roman
-
Praveen, M., 14(3)18--18
-
Praveen:2013:DTH, 14(3)18--18
-
pre, 1(1)60--76, 1(1)171--174, 2(1)1--11, 21(2)13--13
-
\pre, 19(3)18--18
-
pre-order, 15(1)6--6
-
pre-query, 16(1)3--3
-
pre-set, 14(3)24--24
-
preceded, 13(2)17--17
-
precedence, 11(3)15--15
-
preceding, 18(4)27--27
-
precise, 2(3)289--339, 9(3)17--17, 13(2)12--12, 14(3)22--22, 17(3)16--16,
18(3)24--24, 21(1)6--6
-
precisely, 2(1)135--153, 2(3)289--339, 9(2)9--9, 13(3)26--26,
13(4)30--30, 15(1)8--8, 15(2)11--11, 16(1)9--9, 16(3)23--23,
16(3)26--26, 18(1)2--2, 19(3)23--23, 22(4)23--23
-
precision, 13(2)12--12, 14(4)33--33
-
precomputation, 8(4)21--21, 13(3)19--19, 14(4)25--25
-
precondition, 2(1)1--11, 14(4)34--34
-
Precongruence, 5(1)26--78
-
predescribed, 16(3)24--24
-
predicate, 1(2)175--207, 1(2)208--246, 2(1)57--92, 9(1)4--4, 9(3)17--17,
12(2)17--17, 12(4)27--27, 13(2)15--15, 13(3)20--20, 14(2)13--13,
14(3)21--21, 15(4)35--35, 16(4)32--32, 17(2)14--14, 17(4)30--30,
18(2)9--9, 18(3)20--20, 19(2)8--8, 19(2)10--10, 20(1)4--4,
21(2)13--13, 21(3)19--19, 21(4)34--34, 22(2)14--14, 22(4)25--25,
24(1)1--1, 24(2)11--11
-
Predicate-calculus-based, 7(1)38--83
-
predicative, 11(2)11--11, 23(1)2--2
-
predual, 20(1)3--3
-
predual, self-, 20(1)3--3
-
predualities, 20(1)3--3
-
preduality, self-, 20(1)3--3
-
preference, 10(3)21--21, 15(2)11--11, 15(2)12--12, 16(4)33--33
-
preference-based, 10(3)21--21
-
preferential, 8(3)18--18, 10(3)18--18, 10(3)21--21, 22(1)1--1
-
preferential, formula-, 8(3)18--18
-
preferred, 15(2)11--11, 16(3)22--22
-
prefix, 17(2)10--10, 18(2)10--10, 21(3)19--19
-
prefix-accumulation, 15(4)27--27
-
preliminary, 15(2)12--12
-
premises, 17(2)13--13
-
prenex, 15(4)34--34, 21(3)19--19
-
preorder, 4(1)120--147, 18(1)4--4, 18(4)29--29, 19(2)8--8
-
pre/post, 17(1)6--6
-
preprocess, 24(1)7--7
-
preprocessing, 1(1)131--161, 18(2)13--13, 24(1)7--7
-
Presburger, 9(2)11--11, 9(2)12--12
-
prescribe, 12(3)22--22
-
prescribed, 19(3)20--20
-
presence, 1(2)208--246, 2(1)57--92, 2(3)340--387, 11(4)25--25,
13(3)21--21, 13(4)34--34, 17(2)14--14, 17(3)18--18, 19(1)6--6,
20(4)22--22
-
presentation, 2(2)182--215, 9(2)10--10, 12(1)6--6, 15(1)3--3,
15(3)21--21, 15(4)35--35, 19(1)6--6
-
presented, 1(1)3--32, 10(1)1--1, 10(2)10--10, 10(3)19--19, 12(4)29--29,
14(4)29--29, 15(2)11--11, 15(2)14--14, 16(2)10--10, 16(4)34--34,
17(3)15--15, 17(4)27--27, 18(4)28--28, 19(1)6--6, 19(4)26--26,
24(3)20--20
-
presenting, 12(2)16--16
-
preservation, 11(4)28--28, 14(4)30--30, 17(1)3--3, 17(2)8--8,
19(2)12--12
-
preservation, layer-, 16(2)14--14
-
preserve, 1(1)33--59, 9(2)13--13, 10(3)15--15, 10(4)26--26, 13(2)10--10,
14(2)16--16, 15(1)10--10, 16(4)32--32, 17(1)5--5, 17(2)13--13,
18(4)27--27, 19(2)12--12, 19(3)23--23, 20(1)1--1, 20(3)13--13
-
preserved, 10(3)19--19, 14(4)30--30, 18(2)16--16
-
preserving, 2(1)12--56, 15(3)23--23, 19(2)12--12, 19(2)13--13,
20(2)12--12
-
preserving, history-, 21(4)34--34
-
preserving, measure-, 19(3)21--21
-
preserving, order-, 21(2)14--14
-
preserving, property-, 10(3)15--15
-
preserving, Secrecy-, 16(1)3--3
-
preserving, secrecy-, 16(1)3--3
-
Preserving, Syntax-, 19(2)12--12
-
preserving, syntax-, 19(2)12--12
-
preserving, width-, 19(1)1--1
-
prespecified, 16(1)3--3
-
prev, 15(4)33--33
-
\prev, 19(3)18--18
-
prevails, 18(3)21--21
-
prevents, 12(3)18--18, 16(1)8--8
-
previous, 1(1)162--170, 8(3)15--15, 8(3)16--16, 10(3)15--15, 10(3)20--20,
10(4)27--27, 11(3)19--19, 11(4)28--28, 14(3)24--24, 15(2)14--14,
15(2)15--15, 15(2)16--16, 15(4)31--31, 15(4)35--35, 16(2)12--12,
16(3)27--27, 17(2)9--9, 17(2)12--12, 17(3)20--20, 17(3)21--21,
18(1)5--5, 18(2)12--12, 18(2)17--17, 19(2)13--13, 19(4)25--25,
19(4)26--26, 20(1)2--2, 20(2)10--10, 20(4)25--25, 24(3)27--27
-
previous, refutation-, 16(4)28--28
-
previously, 2(1)93--134, 2(2)182--215, 11(4)25--25, 15(2)16--16,
15(4)34--34, 16(1)9--9, 16(2)12--12, 17(1)4--4, 17(2)9--9, 20(1)6--6,
20(4)25--25, 24(2)10--10
-
price, 19(2)13--13, 20(2)12--12
-
Priest, 8(3)18--18
-
Priestley, Hilary A., 20(1)2--2
-
Priestley, Hilary A., see Cabrer, Leonardo M.
-
primal, 12(2)9--9
-
primarily, 15(1)2--2
-
primary, 20(1)4--4
-
prime, 9(1)2--2
-
primitive, 1(1)3--32, 1(1)60--76, 1(1)171--174, 10(1)2--2, 10(2)8--8,
10(3)16--16, 10(3)22--22, 11(4)26--26, 12(2)10--10, 12(3)19--19,
12(4)25--25, 15(1)9--9, 16(3)26--26, 17(1)3--3, 17(4)23--23,
21(1)1--1
-
principal, 12(2)9--9, 12(4)24--24, 19(1)6--6, 20(3)17--17
-
principle, 8(4)19--19, 9(2)14--14, 10(4)27--27, 11(3)19--19, 12(1)3--3,
12(1)4--4, 13(2)10--10, 14(3)20--20, 14(4)32--32, 15(1)2--2,
16(4)30--30, 17(4)26--26, 18(4)32--32, 19(3)18--18, 22(1)1--1,
22(2)11--11
-
principled, 12(2)17--17
-
prints, 18(3)18--18
-
prior, 9(1)1--1, 12(1)1--1, 13(2)12--12, 15(4)28--28, 17(2)14--14,
17(4)32--32, 21(1)6--6
-
priori, 10(2)10--10, 18(2)12--12
-
priorities, 2(2)255--287, 17(4)24--24
-
privacy, 13(3)22--22, 21(1)1--1
-
privacy-like, 17(1)3--3
-
private, 16(1)3--3, 20(4)22--22
-
probabilistic, 1(2)175--207, 1(2)208--246, 2(3)289--339, 3(3)359--382,
7(1)151--198, 8(4)20--20, 8(4)24--24, 9(1)5--5, 9(4)27--27,
10(1)5--5, 10(1)7--7, 10(2)9--9, 10(2)13--13, 12(1)1--1, 12(2)14--14,
13(2)12--12, 13(2)13--13, 14(2)12--12, 15(3)18--18, 15(3)24--24,
16(1)2--2, 16(1)4--4, 16(2)11--11, 16(3)22--22, 18(3)18--18,
19(1)4--4, 20(4)19--19, 20(4)21--21, 20(4)24--24, 21(2)16--16,
21(3)21--21, 21(4)32--32, 23(1)5--5, 24(3)25--25
-
probabilistic, Action-, 14(2)12--12
-
probability, 1(1)162--170, 2(3)289--339, 8(4)20--20, 10(1)5--5,
10(2)9--9, 12(2)14--14, 12(4)28--28, 13(2)12--12, 13(2)13--13,
14(1)7--7, 14(2)12--12, 14(4)33--33, 15(2)16--16, 15(3)18--18,
16(1)2--2, 16(1)4--4, 16(3)22--22, 18(2)12--12, 18(3)18--18,
20(4)19--19, 20(4)21--21, 21(2)16--16, 21(4)32--32, 24(3)25--25
-
problematic, 9(4)27--27
-
problematical, 12(1)3--3
-
procedural, 10(4)26--26, 13(2)12--12, 18(2)14--14, 19(3)22--22,
24(4)33--33
-
procedures, proof-, 9(4)29--29
-
proceed, 2(3)408--429, 8(3)15--15, 8(3)16--16, 19(2)14--14
-
process, 1(1)3--32, 1(1)162--170, 2(3)340--387, 3(4)465--520,
5(3)436--469, 8(4)21--21, 8(4)23--23, 9(1)1--1, 9(1)4--4, 9(1)5--5,
9(3)20--20, 10(1)6--6, 10(2)9--9, 10(3)19--19, 11(3)16--16,
12(1)1--1, 12(2)15--15, 12(3)18--18, 13(2)11--11, 13(2)15--15,
13(4)28--28, 14(2)9--9, 15(2)12--12, 15(2)14--14, 15(3)24--24,
15(4)26--26, 15(4)28--28, 15(4)31--31, 16(1)2--2, 16(1)3--3,
16(4)32--32, 17(4)23--23, 19(3)22--22, 19(4)28--28, 20(3)16--16,
20(4)19--19, 20(4)20--20, 20(4)22--22, 20(4)25--25, 21(1)1--1,
21(1)3--3
-
process, two-, 1(1)3--32
-
processes, PA-, 15(4)26--26
-
processing, 15(3)23--23, 18(1)3--3, 18(2)8--8, 19(4)31--31
-
processor, 2(1)93--134, 19(4)31--31
-
processors., 8(3)14--14
-
produce, 15(4)30--30, 15(4)32--32, 16(2)12--12, 16(4)35--35, 18(1)3--3,
18(3)18--18
-
produced, 9(2)11--11, 10(4)29--29
-
producing, 5(3)436--469
-
product, 9(3)18--18, 9(4)24--24, 14(2)10--10, 15(3)20--20, 15(3)25--25,
16(1)9--9, 16(3)23--23, 16(3)27--27, 17(4)29--29, 18(4)30--30,
19(2)14--14, 19(4)27--27, 20(4)24--24, 22(4)23--23, 22(4)24--24
-
product, by-, 16(4)28--28, 17(2)12--12, 20(3)18--18
-
production, 19(3)22--22
-
productive, 20(3)13--13
-
Profinite, 22(4)23--23
-
profound, 13(4)30--30
-
program, CPT-, 19(2)7--7
-
program-based, 7(3)421--472
-
program-proof, 17(1)6--6
-
program-specific, 15(4)33--33
-
programmer, 9(3)17--17, 21(2)13--13
-
programming**, 1(1)60--76, 1(1)171--174
-
programming., 9(2)14--14
-
programs, dl-, 12(2)11--11
-
progress, 1(1)3--32, 21(3)26--26
-
progression, 18(2)16--16
-
progression-based, 15(2)11--11
-
progressively, 12(1)1--1
-
prohibitively, 17(1)5--5
-
projected, 19(3)23--23
-
projective, 24(4)34--34
-
projects, 20(1)6--6
-
prolog, 2(1)57--92, 8(4)22--22, 16(1)5--5
-
Prolog, ASP-, 15(2)12--12
-
prominent, 12(2)11--11, 14(1)2--2, 14(2)16--16, 17(3)15--15, 17(3)16--16,
20(3)15--15, 21(2)12--12
-
promise, 11(3)18--18
-
promises:, 11(3)18--18
-
promising, 13(2)15--15, 19(2)7--7, 20(3)16--16
-
proof, -, 19(4)29--29
-
proof, program-, 17(1)6--6
-
Proof-complexity, 2(3)340--387
-
proof-net, 10(4)25--25
-
Proof-Nets, 19(4)25--25
-
proof-nets, 19(4)25--25
-
proof-procedures, 9(4)29--29
-
proof-search, 2(2)182--215, 16(1)8--8, 17(4)30--30, 21(3)18--18,
21(3)22--22
-
proof-strategies, 23(4)23--23
-
proof-theoretic, 10(2)13--13, 15(1)2--2
-
proof-theoretical, 2(3)340--387, 23(4)26--26
-
proof-theory, 19(4)25--25
-
proofs, sub-, 19(4)25--25
-
proofs-namely, 18(2)11--11
-
proof/test, 10(2)12--12
-
propagation, 8(4)23--23, 12(1)6--6, 14(1)3--3, 14(2)15--15, 14(3)17--17
-
propagators, 14(3)17--17
-
proper, 13(4)33--33, 23(4)23--23, 24(2)13--13
-
properly, 14(4)29--29, 23(1)6--6, 24(2)13--13
-
properties., 9(1)5--5
-
property-preserving, 10(3)15--15
-
property-the, 16(2)11--11
-
proportional, 10(1)7--7, 15(1)6--6
-
proposal, 12(2)16--16, 14(4)28--28, 15(4)35--35, 16(4)33--33,
20(4)24--24
-
propose, 8(4)24--24, 9(4)27--27, 10(2)9--9, 10(3)17--17, 11(4)27--27,
12(2)16--16, 12(4)25--25, 12(4)29--29, 13(2)11--11, 14(2)12--12,
14(3)21--21, 14(3)22--22, 15(2)11--11, 15(3)18--18, 15(4)30--30,
15(4)34--34, 16(1)3--3, 16(1)8--8, 17(1)3--3, 17(1)7--7, 17(3)18--18,
17(4)28--28, 18(2)14--14, 18(4)28--28, 19(3)19--19, 19(4)27--27,
19(4)30--30, 20(1)5--5, 20(3)15--15, 20(4)21--21, 20(4)25--25,
21(1)3--3, 21(4)33--33, 22(3)15--15, 22(3)17--17, 23(2)10--10,
23(4)27--27, 24(3)19--19, 24(4)33--33
-
proposed, 1(1)131--161, 2(1)93--134, 9(1)7--7, 9(2)10--10, 9(3)17--17,
10(2)12--12, 10(4)27--27, 11(3)16--16, 12(1)2--2, 12(1)7--7,
12(3)20--20, 14(1)4--4, 14(2)13--13, 14(3)24--24, 15(2)11--11,
15(4)28--28, 15(4)35--35, 16(1)7--7, 16(2)11--11, 16(2)12--12,
16(4)31--31, 17(3)15--15, 17(3)20--20, 18(2)8--8, 18(2)9--9,
18(4)28--28, 18(4)32--32, 19(4)31--31, 20(1)5--5, 20(2)12--12,
20(3)16--16, 21(4)33--33, 22(3)15--15, 22(3)17--17, 24(2)18--18,
24(3)19--19
-
proposing, 20(2)7--7
-
proposition, 12(3)21--21, 13(3)26--26, 14(4)34--34, 15(3)22--22,
15(4)30--30, 20(1)4--4
-
protected, 16(1)3--3
-
protocol, 1(1)162--170, 2(4)542--580, 9(1)4--4, 9(1)5--5, 9(4)24--24,
9(4)28--28, 9(4)29--29, 10(1)1--1, 11(2)9--9, 11(3)17--17, 13(1)7--7,
13(3)22--22, 14(1)4--4, 17(1)3--3, 17(4)23--23, 19(4)27--27,
19(4)28--28, 20(4)19--19, 21(1)1--1, 21(1)2--2, 22(1)3--3,
24(3)19--19
-
prototype, 14(2)10--10, 14(2)12--12, 16(4)29--29, 17(4)23--23,
19(4)27--27, 19(4)31--31, 21(1)5--5
-
prototypical, 15(3)20--20, 15(4)33--33, 17(2)11--11
-
provability, 9(3)21--21, 12(1)6--6, 16(3)20--20, 17(1)5--5, 21(3)22--22
-
provable, 9(4)25--25, 11(4)22--22, 22(3)15--15
-
provably, 15(1)2--2, 18(2)11--11
-
proved, 9(3)19--19, 10(1)3--3, 10(3)19--19, 10(4)29--29, 12(1)3--3,
12(4)23--23, 13(1)6--6, 13(2)14--14, 13(2)15--15, 14(4)33--33,
16(1)9--9, 16(4)30--30, 16(4)34--34, 16(4)35--35, 17(1)1--1,
17(2)14--14, 17(3)16--16, 17(4)23--23, 18(2)9--9, 19(2)7--7,
19(3)18--18, 20(3)17--17, 23(4)22--22
-
proven, 9(3)20--20, 13(2)16--16, 14(3)21--21, 18(1)1--1, 19(3)22--22,
20(3)17--17
-
prover, 8(4)19--19, 8(4)22--22, 10(1)4--4, 12(2)15--15, 14(4)26--26,
15(3)25--25, 15(4)31--31, 19(4)27--27, 20(4)23--23, 21(1)2--2
-
Prover-Delayer, 14(3)20--20
-
ProVerif, 14(1)4--4
-
provided, 9(1)2--2, 13(2)15--15, 13(3)25--25, 15(4)28--28, 15(4)34--34,
16(3)25--25, 18(1)7--7, 19(4)27--27
-
providing, 8(3)17--17, 9(3)21--21, 11(4)26--26, 13(3)22--22, 13(4)29--29,
14(2)15--15, 14(4)27--27, 16(1)9--9, 16(2)15--15, 16(3)23--23,
16(4)32--32, 19(1)5--5, 20(1)5--5
-
proving, 1(1)3--32, 1(1)131--161, 1(2)175--207, 1(2)208--246, 2(1)12--56,
2(1)57--92, 2(1)93--134, 2(2)155--181, 2(2)182--215, 2(3)289--339,
2(3)340--387, 4(2)207--259, 5(4)706--731, 8(4)19--19, 8(4)23--23,
9(3)19--19, 9(4)28--28, 10(4)25--25, 11(4)26--26, 11(4)27--27,
11(4)28--28, 12(3)22--22, 13(1)5--5, 13(1)9--9, 14(1)7--7,
14(3)20--20, 14(4)28--28, 15(1)2--2, 15(4)33--33, 16(2)14--14,
16(3)20--20, 16(4)28--28, 17(3)18--18, 18(3)19--19, 19(4)27--27,
22(1)3--3, 23(3)16--16
-
proving, theorem-, 10(1)4--4, 21(3)22--22
-
PRS, 15(4)26--26
-
PRTL*, 20(4)21--21
-
pruning, 8(4)23--23, 15(3)18--18, 17(3)18--18, 18(3)24--24, 19(4)25--25,
20(4)23--23
-
Przymusinski, Teodor C., 5(1)129--176
-
Przymusinski, Teodor C., see Brass, Stefan
-
PS, 17(1)2--2
-
pseudo-local, 14(2)8--8
-
pseudovarieties, 20(1)3--3, 22(4)23--23
-
psl, 15(2)13--13
-
PSPACE, 1(1)171--174, 2(3)388--407, 10(2)13--13, 13(2)12--12,
13(2)15--15, 13(2)18--18, 16(3)26--26
-
PSpace, 15(3)25--25
-
PSPACE-complete, 1(1)60--76, 12(2)13--13, 15(1)1--1, 20(2)11--11
-
PSpace-complete, 11(3)20--20, 14(1)2--2, 17(1)2--2
-
Pspace-complete, 13(1)5--5, 13(3)27--27, 18(1)2--2
-
PSPACE-hard, 13(2)15--15, 22(4)24--24
-
psychological, 19(3)22--22
-
psychology, 19(3)22--22
-
PTIME, 12(2)13--13, 13(2)18--18, 16(3)26--26
-
PTime, 16(1)7--7
-
Ptime, 19(2)7--7
-
public, 9(4)24--24
-
publicly, 16(2)11--11, 23(2)10--10
-
published, 2(2)182--215, 12(2)15--15
-
Pudlák, 11(3)19--19
-
Pudlák, Pavel, 15(2)17--17, see Beckmann, Arnold
-
Pudlák--Buss, 11(3)19--19
-
Puget, Jean-François, 1(2)285--320,
see Hentenryck, Pascal van
-
Pun, Ka I., 19(4)31--31
-
Pun, Ka I., see Albert, Elvira
-
Puppis, Gabrieled, 22(2)13--13
-
Puppis, Gabrieled, see Benedikt, Michael
-
pure, 10(3)19--19, 11(4)26--26, 15(2)16--16, 16(3)23--23, 20(3)13--13
-
purely, 2(3)289--339, 13(3)24--24, 14(3)21--21, 14(4)29--29, 16(4)33--33,
17(3)17--17, 19(2)12--12
-
purple, 11(4)26--26
-
purported, 10(3)22--22
-
purpose, 2(3)388--407, 13(1)6--6, 13(4)28--28, 14(3)20--20, 16(4)32--32,
19(4)28--28
-
purpose, general-, 10(1)4--4, 23(3)19--19
-
purpose, Special-, 1(1)60--76
-
pushdown, 13(2)12--12, 14(2)8--8, 15(4)26--26, 16(4)34--34, 17(1)3--3,
18(3)25--25, 20(3)14--14, 22(2)12--12, 22(3)16--16, 24(3)24--24
-
puzzle, 11(4)25--25, 14(4)34--34, 16(4)32--32
-
PV, 11(4)22--22
-
P(x,y), 24(4)29--29
-
Pym, David, 4(1)56--90
-
Pym, David, see Harland, James