Index file section R for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
R
-
R, 9(2)9--9, 14(2)13--13, 14(2)14--14, 17(4)26--26, 19(4)30--30, 23(3)16--16
-
r, 22(4)26--26
-
R, ACT-, 19(3)22--22
-
R-called, ACT-, 19(3)22--22
-
r.e, left-, 13(3)24--24
-
RA, 20(2)11--11
-
Rabe, Florian, 14(4)32--32, 17(1)5--5, 19(4)24--24
-
Rabe:2013:LRL, 14(4)32--32
-
Rabe:2015:LTM, 17(1)5--5
-
Rabe:2018:MTR, 19(4)24--24
-
Rabin, 13(4)29--29
-
Rabin-Mostowski, 17(4)24--24
-
Rabinovich, 14(1)7--7, 17(2)14--14
-
Rabinovich, Alexander, 8(1)z--99999999
-
Rabinovich, Roman, 21(2)11--11
-
Rabinovich, Roman, see Eickmeyer, Kord
-
Rabinovich:2007:CL, 8(1)z--99999999
-
race, 17(2)11--11, 18(1)3--3
-
race-free, 18(1)3--3
-
Radcliffe, Nicholas R., 18(2)17--17
-
Radcliffe:2017:UNF, 18(2)17--17
-
radically, 19(4)28--28
-
Raff, Paul, 9(1)2--2
-
Raff, Paul, see Avigad, Jeremy
-
Ramanayake, Revantha, 17(3)17--17, 22(3)20--20
-
Ramanayake, Revantha, see Ciabattoni, Agata
-
Ramanujam, R., 24(4)29--29
-
Ramanujam, R., see Padmanabha, Anantha
-
Ramanujan, M. S., 21(4)28--28
-
Ramanujan, M. S., see Gajarský, Jakub
-
ramification, 10(2)8--8, 14(3)24--24
-
Ramsey, 17(4)26--26, 18(3)23--23
-
Ramsey, Bernays-Schönfinkel-, 21(3)19--19
-
Ramsey-Based, 16(4)34--34
-
Ramsey-based, 16(4)34--34
-
random, 6(4)727--748, 8(4)20--20, 9(3)19--19, 9(4)27--27, 11(3)18--18,
13(3)24--24, 15(1)6--6, 15(2)16--16, 16(3)24--24, 17(3)22--22,
18(3)18--18, 23(2)12--12, 23(4)24--24
-
random, real-or-, 21(1)2--2
-
randomization, 12(4)28--28, 15(2)16--16, 15(3)24--24, 16(4)36--36
-
randomized, 8(4)20--20, 15(2)16--16
-
randomness, 8(2)z--99999999, 18(3)18--18
-
range, 2(1)12--56, 2(3)289--339, 8(3)17--17, 8(3)18--18, 10(2)13--13,
12(2)9--9, 13(1)5--5, 13(1)7--7, 13(2)13--13, 13(3)21--21,
13(3)27--27, 15(3)25--25, 17(3)21--21, 18(1)2--2, 18(4)27--27,
19(1)4--4, 20(4)19--19
-
ranging, 15(3)25--25, 17(4)28--28, 19(4)28--28
-
ranging, wide-, 22(2)13--13
-
Ranise, Silvio, 10(1)4--4, 15(1)5--5
-
Ranise, Silvio, see Armando, Alessandro,
see Bruttomesso, Roberto
-
rank, 10(4)26--26, 16(1)9--9, 16(3)26--26, 17(3)19--19, 18(4)29--29,
19(2)7--7, 23(1)6--6, 24(1)6--6
-
rank-1, 10(2)13--13
-
ranked, 8(2)z--z, 17(4)31--31, 17(4)32--32, 18(3)25--25, 22(2)12--12
-
Ranzato, Francesco, 6(1)33--60, 16(1)2--2, 22(4)22--22
-
Ranzato, Francesco, see Crafa, Silvia,
see Ganty, Pierre,
see Giacobazzi, Roberto
-
rapidly, 8(4)24--24
-
rare, 9(1)7--7, 18(2)10--10
-
rarely, 16(4)31--31
-
RAs, 20(2)11--11
-
Raskin, Jean-François, 6(1)1--32, 9(2)12--12, 19(3)20--20,
see Bruyère, Véronique,
see Henzinger, Thomas A.,
see Le Roux, Stéphane
-
rather, 8(3)15--15, 8(3)16--16, 8(3)17--17, 11(4)26--26, 12(2)9--9,
12(3)21--21, 14(4)30--30, 14(4)34--34, 19(2)7--7, 20(1)2--2
-
ratio, 14(2)10--10, 20(1)6--6
-
rational, 10(1)7--7, 10(3)18--18, 12(1)7--7, 13(2)17--17, 14(1)7--7,
15(4)27--27, 16(2)12--12, 16(4)33--33, 17(3)16--16, 17(3)21--21,
18(2)10--10, 18(3)24--24, 19(3)19--19, 20(4)21--21, 24(3)22--22
-
Rational, Thought-, 19(3)22--22
-
Rationale, 24(3)27--27
-
rationality, 13(4)30--30, 19(2)12--12
-
Ratschan, Stefan, 5(2)264--281, 7(4)723--748
-
Ratschan:2004:CAS, 5(2)264--281
-
Ratschan:2006:ESQ, 7(4)723--748
-
Razborov, Alexander, 7(2)261--268
-
Razborov, Alexander, see Lifschitz, Vladimir
-
RDF, 11(2)10--10
-
reach, 19(1)3--3
-
reachability, 9(1)5--5, 10(3)15--15, 11(3)17--17, 12(4)27--27, 13(1)7--7,
13(2)12--12, 13(3)27--27, 14(3)19--19, 14(4)33--33, 15(1)3--3,
15(2)16--16, 15(4)33--33, 16(3)20--20, 17(1)3--3, 18(2)17--17,
18(3)24--24, 19(3)19--19, 20(3)14--14, 20(4)19--19, 21(1)1--1,
21(3)17--17, 22(2)14--14, 24(1)3--3
-
reachable, 12(1)2--2, 13(1)7--7, 18(3)24--24
-
reached, 13(1)6--6, 14(4)26--26, 20(3)15--15
-
reached., 10(2)11--11
-
react, 1(2)208--246, 15(4)30--30
-
reaction, 15(4)30--30, 20(4)19--19
-
reactive, 10(2)9--9, 11(3)16--16, 15(4)35--35, 16(3)25--25
-
read-once, 22(4)26--26
-
read-only, 13(3)27--27
-
readability, 19(1)4--4
-
readable, human-, 19(4)27--27
-
readily, 8(4)19--19
-
reading, 15(3)24--24
-
real, 1(1)162--170, 6(3)614--633, 7(4)723--748, 9(2)12--12, 10(3)22--22,
11(4)23--23, 13(3)24--24, 17(3)21--21, 18(3)18--18, 19(3)19--19,
20(1)1--1, 21(1)2--2
-
real-or-random, 21(1)2--2
-
real-time, 10(3)15--15, 12(1)8--8, 16(4)29--29, 17(1)3--3, 17(3)15--15,
17(3)16--16, 21(1)5--5
-
real-timed, 21(2)12--12
-
real-valued, 10(3)22--22
-
real-world, 10(1)4--4, 13(2)13--13, 14(2)10--10, 18(4)26--26,
20(2)12--12
-
realistic, 10(1)5--5, 18(2)10--10, 18(2)14--14, 21(1)3--3
-
realizability, 13(2)11--11, 18(2)15--15, 22(4)25--25, 24(2)11--11
-
realizable, 9(1)7--7
-
realization, 12(2)11--11
-
realized, 2(2)216--254, 9(3)17--17
-
Realizers, 13(2)11--11
-
realizes, 19(4)24--24
-
really, 9(3)20--20, 17(3)22--22
-
realm, 12(4)27--27
-
reason, 9(3)17--17, 10(1)4--4, 10(3)16--16, 10(3)17--17, 13(2)13--13,
14(1)1--1, 16(1)3--3, 16(1)7--7, 16(3)25--25, 16(4)34--34, 18(1)3--3,
18(2)15--15, 19(3)22--22, 19(4)30--30, 21(1)4--4, 21(1)5--5,
23(2)8--8, 23(3)20--20, 23(4)26--26, 24(2)12--12
-
reason-maintenance, 21(1)3--3
-
reasonable, 8(4)19--19, 10(3)22--22, 13(2)13--13, 17(4)26--26
-
reasoners, 10(1)4--4, 13(4)33--33
-
reasoning, defeasible-, 22(1)1--1
-
recall, 1(2)247--284, 20(2)10--10, 21(4)32--32
-
recast, 14(4)29--29
-
recasting, 15(4)35--35
-
receive, 14(2)16--16, 14(3)23--23, 16(1)3--3
-
received, 10(2)11--11, 11(4)24--24, 12(1)7--7, 12(2)16--16, 14(2)9--9,
16(3)24--24, 23(2)10--10
-
receiving, 2(1)57--92
-
recent, 1(2)175--207, 8(3)17--17, 9(1)7--7, 9(2)8--8, 9(3)20--20,
12(2)15--15, 13(3)27--27, 15(4)32--32, 15(4)33--33, 16(1)6--6,
16(1)9--9, 18(3)18--18, 18(3)23--23, 18(4)27--27, 19(1)1--1,
19(2)12--12, 19(4)30--30, 20(1)4--4, 20(3)17--17, 21(1)2--2,
21(3)23--23, 23(4)23--23
-
recently, 2(1)135--153, 9(4)25--25, 10(3)15--15, 11(4)22--22, 12(1)1--1,
12(1)7--7, 12(4)26--26, 13(3)25--25, 14(2)13--13, 15(1)1--1,
15(1)4--4, 15(4)27--27, 15(4)32--32, 15(4)34--34, 16(1)4--4,
16(3)24--24, 17(1)3--3, 17(2)8--8, 17(3)20--20, 18(2)9--9,
18(2)17--17, 18(4)31--31, 19(2)15--15, 23(1)7--7, 23(3)18--18
-
recipients, 14(3)23--23
-
recognised, 16(2)11--11
-
recognising, CFI-, 19(2)7--7
-
recognition, 12(1)3--3, 14(4)26--26, 16(1)1--1, 16(2)11--11, 18(1)1--1
-
recognizable, 15(2)15--15, 15(3)22--22, 17(4)24--24, 20(2)12--12
-
recognize, 17(4)24--24, 18(4)28--28
-
recognized, 9(3)15--15, 12(3)18--18, 17(4)24--24, 18(4)28--28
-
recognizing, 11(3)20--20
-
recommendations, 14(2)16--16
-
recommended, 2(1)1--11
-
recommending, 20(4)22--22
-
reconsider, 21(1)6--6
-
reconstruct, 16(4)30--30
-
reconstruction, 18(3)23--23, 19(4)24--24
-
record, 10(1)4--4, 16(2)15--15, 17(2)12--12, 21(3)19--19
-
recover, 14(1)7--7
-
recovered, 20(1)3--3
-
recovery, 19(2)11--11
-
rectangular, 15(1)2--2
-
Recupero, Diego Reforgiato, 11(2)10--10
-
Recupero, Diego Reforgiato, see Udrea, Octavian
-
recurrence, 14(3)22--22
-
recurrent, 9(1)5--5
-
recursion, 1(1)33--59, 3(4)465--520, 10(1)6--6, 10(2)8--8, 10(3)22--22,
10(4)24--24, 10(4)26--26, 13(2)12--12, 17(2)13--13, 18(3)25--25,
22(2)12--12
-
recursion--it, 1(1)33--59
-
recursive, 2(1)1--11, 9(2)10--10, 9(4)27--27, 10(1)2--2, 10(3)16--16,
10(3)19--19, 10(3)22--22, 12(2)10--10, 12(3)19--19, 13(1)8--8,
13(2)12--12, 13(3)24--24, 13(4)34--34, 14(2)8--8, 14(3)22--22,
16(2)15--15, 16(3)26--26, 16(4)34--34, 17(3)16--16, 19(3)18--18,
24(2)16--16
-
recursively, 13(3)26--26
-
Recycling, 8(2)z--99999999
-
redevelopment, 10(3)22--22
-
rediscover, 16(3)26--26
-
reduce, 2(1)93--134, 8(4)20--20, 9(3)17--17, 9(4)26--26, 13(2)14--14,
15(1)9--9, 15(1)10--10, 15(4)30--30, 16(3)25--25, 17(1)4--4,
19(2)13--13, 20(3)14--14, 20(4)23--23, 21(1)1--1
-
Reduce, Map-, 19(2)14--14
-
reduce, map-, 19(2)14--14
-
reduced, 9(3)22--22, 10(1)4--4, 13(2)10--10, 13(4)34--34, 15(4)28--28,
18(4)27--27, 20(1)6--6, 20(3)13--13, 24(4)31--31
-
reducibilities, 20(1)1--1
-
Reducibility, 1(1)131--161
-
Reducible, 24(1)9--9
-
reducing, 1(1)131--161, 2(1)93--134, 8(4)19--19, 17(4)23--23,
20(4)25--25, 21(1)1--1
-
reduction, 2(1)93--134, 7(2)219--260, 8(3)14--14, 9(1)6--6, 9(3)21--21,
9(3)22--22, 10(3)19--19, 10(4)25--25, 12(4)29--29, 13(2)16--16,
13(4)33--33, 14(1)5--5, 14(4)29--29, 14(4)31--31, 15(3)23--23,
15(3)25--25, 15(4)28--28, 15(4)35--35, 16(2)13--13, 16(3)27--27,
18(4)26--26, 18(4)29--29, 19(1)3--3, 20(1)1--1, 20(3)13--13,
20(3)16--16, 21(2)8--8
-
reduction, cut-, 14(1)5--5
-
reduction-bisimilarity, 10(3)19--19
-
reduction-bisimulation, 10(3)19--19
-
reduction., 8(3)14--14
-
reducts, 18(3)23--23
-
redundancy, 2(2)182--215, 8(4)23--23
-
redundant, 8(4)23--23
-
refer, 8(3)14--14, 13(2)13--13, 14(4)34--34, 24(4)32--32
-
reference, 18(1)7--7, 19(3)21--21
-
referred, 9(1)7--7, 20(3)18--18, 24(4)32--32
-
referring, 14(4)33--33, 15(4)27--27, 16(3)19--19
-
refine, 12(1)1--1
-
refined, 18(4)29--29, 19(3)22--22
-
refinement, 3(4)465--520, 9(1)1--1, 12(1)1--1, 12(2)10--10, 16(4)35--35,
20(4)23--23, 21(3)24--24, 24(2)17--17
-
refinement, abstraction-, 9(1)1--1, 12(1)1--1, 19(3)19--19
-
refining, 9(3)21--21, 15(4)26--26, 17(4)27--27
-
reflect, 9(2)9--9, 14(2)14--14, 17(3)18--18
-
reflective, 5(3)528--576, 14(4)32--32
-
reflexive, 14(3)18--18, 17(2)10--10, 18(3)22--22, 21(2)8--8, 23(3)14--14
-
refocus, 14(4)29--29
-
refocusing-based, 9(1)6--6
-
reformulating, 16(1)5--5
-
reformulation, 10(3)22--22, 16(3)24--24
-
Refunded'', 11(3)18--18
-
refutable, 17(3)19--19, 19(2)10--10
-
refutation, 5(2)316--320, 7(2)199--218, 9(1)1--1, 11(3)18--18, 12(1)4--4,
12(3)18--18, 15(2)17--17, 16(4)28--28, 16(4)30--30, 17(4)26--26,
19(3)18--18, 20(1)1--1, 22(4)26--26
-
refutation-previous, 16(4)28--28
-
Refutation-search, 21(3)22--22
-
refutationally, 11(4)27--27
-
refute, 9(1)1--1, 16(4)28--28, 24(3)23--23
-
refuted, 17(3)19--19
-
regarded, 8(3)15--15, 8(3)16--16, 18(2)15--15
-
regarding, 9(3)20--20, 10(3)17--17, 12(4)29--29, 15(4)34--34, 16(1)8--8,
17(3)20--20, 18(4)33--33
-
regards, 14(2)14--14
-
region, 9(2)12--12, 13(1)9--9, 17(1)1--1, 19(2)10--10, 20(4)19--19
-
Region-Based, 17(3)21--21
-
region-based, 17(3)21--21
-
register, 10(3)16--16, 12(2)10--10, 12(3)19--19, 14(3)19--19,
19(2)14--14, 20(2)11--11, 20(3)14--14
-
register, Timed-, 20(3)14--14
-
register, timed-, 20(3)14--14
-
Register-Transfer-Level, 2(1)93--134
-
Regnier, Danos-, 8(3)14--14
-
regular, 9(1)5--5, 9(3)22--22, 11(1)1--1, 11(1)4--4, 12(1)2--2,
12(4)28--28, 13(1)4--4, 13(2)12--12, 13(3)19--19, 13(4)34--34,
14(2)13--13, 15(3)24--24, 17(3)21--21, 17(4)24--24, 18(2)10--10,
18(3)20--20, 20(1)3--3, 20(3)16--16, 20(3)17--17, 21(1)6--6,
21(2)9--9, 22(4)22--22
-
regular, Omega-, 12(1)2--2
-
regular, trace-, 20(3)17--17
-
regularity, 18(3)20--20
-
reindexing, 16(3)23--23
-
Reiter, Ray, 2(4)433--457
-
Reiter:2001:KBP, 2(4)433--457
-
Reiterman, 22(4)23--23
-
reject, 16(1)1--1
-
rejected, 8(4)20--20
-
rejection, 12(1)6--6
-
relabeling, 10(1)6--6
-
relate, 9(3)20--20, 10(2)12--12, 13(4)30--30, 17(2)10--10, 18(3)21--21,
19(2)15--15, 19(3)21--21, 23(2)9--9
-
related, 1(1)131--161, 2(1)12--56, 2(3)289--339, 8(4)21--21, 10(3)20--20,
10(4)27--27, 11(3)16--16, 11(4)28--28, 12(1)5--5, 12(4)26--26,
13(1)7--7, 13(2)12--12, 13(4)30--30, 13(4)31--31, 14(2)9--9,
14(2)16--16, 15(1)2--2, 15(3)20--20, 15(3)23--23, 16(2)15--15,
16(3)25--25, 16(3)27--27, 16(4)28--28, 17(1)2--2, 18(2)16--16,
18(2)17--17, 18(4)27--27, 19(2)8--8, 19(4)29--29, 21(2)10--10
-
related, intelligence-, 7(3)590--612
-
relating, 17(1)5--5, 19(3)16--16, 19(3)23--23
-
relation, C-, 18(3)23--23
-
relational, 1(1)60--76, 4(3)315--354, 8(4)21--21, 9(1)3--3, 9(3)21--21,
9(3)22--22, 9(4)27--27, 18(4)29--29, 19(2)14--14, 21(2)11--11,
22(2)13--13, 22(4)21--21, 23(1)1--1, 24(2)16--16
-
relationally, 1(1)60--76
-
relationship, 12(1)8--8, 14(1)1--1, 14(2)8--8, 16(2)15--15, 18(2)8--8,
19(2)12--12, 19(2)13--13, 19(4)26--26, 24(1)9--9
-
relationship, entity-, 9(3)22--22
-
relative, 9(3)16--16, 9(4)25--25, 13(2)16--16, 14(2)14--14, 15(3)21--21,
16(3)25--25, 16(4)30--30, 17(1)1--1, 17(2)9--9, 18(1)3--3,
18(3)18--18, 18(4)29--29, 19(1)4--4, 19(4)24--24, 24(3)27--27
-
relatively, 8(4)24--24, 12(1)3--3, 13(2)15--15, 14(2)14--14, 17(3)21--21,
18(1)3--3, 19(4)29--29, 23(4)24--24
-
relativized, 8(3)17--17, 17(2)8--8
-
relativizing, 9(3)23--23
-
relax, 15(3)24--24
-
relaxation, 8(4)20--20, 15(3)24--24, 18(3)24--24, 23(1)7--7
-
relaxed, 19(1)6--6
-
release, 21(2)14--14
-
relevance, 9(3)20--20, 15(3)19--19
-
Relevance-Sensitive, 24(2)18--18
-
relevance-sensitive, 24(2)18--18
-
relevant, 2(3)289--339, 9(1)7--7, 9(2)13--13, 9(3)15--15, 9(3)20--20,
10(1)5--5, 14(2)8--8, 14(2)14--14, 15(4)33--33, 16(1)7--7, 20(1)2--2,
20(2)10--10, 24(2)18--18, 24(3)20--20
-
reliability, 11(3)16--16, 15(3)23--23, 15(4)34--34, 17(2)9--9
-
reliable, 10(1)3--3, 19(4)28--28
-
rely, 8(3)14--14, 8(4)21--21, 10(3)20--20, 11(3)19--19, 12(2)15--15,
12(4)23--23, 14(2)16--16, 14(4)28--28, 15(2)12--12, 15(4)35--35,
16(4)34--34, 18(1)7--7, 18(2)16--16, 19(1)1--1, 19(3)23--23,
19(4)26--26, 20(4)21--21, 20(4)22--22, 21(3)22--22, 22(1)3--3,
22(4)22--22
-
remain, 8(4)20--20, 9(2)9--9, 11(4)23--23, 13(3)25--25, 13(4)34--34,
16(1)7--7, 17(3)20--20, 18(3)21--21, 19(2)7--7, 20(3)16--16
-
remainder, 10(1)2--2
-
remained, 17(3)16--16, 19(2)7--7, 23(2)8--8
-
remaining, 19(2)8--8, 22(2)13--13
-
remedy, 24(2)18--18
-
remove, 10(3)22--22, 24(3)27--27
-
removing, 8(4)23--23
-
rename, 13(3)20--20
-
renaming, 13(2)10--10, 22(1)4--4
-
renders, 21(4)29--29
-
Reniers, Michel A., 13(1)8--8
-
Reniers, Michel A., see Keiren, Jeroen J. A.
-
reordered, 21(1)5--5
-
reorderings, 22(4)26--26
-
repeated, 12(3)21--21
-
repeatedly, 8(3)17--17, 9(3)17--17, 18(3)23--23
-
repetition, 14(4)25--25
-
repetitious, 15(3)21--21
-
repetitive, 15(3)18--18
-
replace, 13(2)14--14, 15(3)24--24
-
replaced, 1(1)60--76, 16(1)6--6
-
replacement, 7(4)749--764
-
replacing, 13(3)21--21, 13(4)28--28, 15(4)30--30, 20(1)4--4
-
replication, 17(1)3--3
-
reply, 12(2)16--16, 14(2)16--16, 14(3)23--23
-
report, 14(2)12--12, 14(4)26--26, 17(2)11--11, 17(3)22--22
-
reported, 15(4)28--28
-
represent, 1(1)131--161, 8(3)18--18, 10(1)5--5, 10(2)10--10, 11(4)27--27,
12(1)5--5, 13(2)15--15, 13(4)28--28, 14(4)32--32, 15(1)10--10,
15(3)18--18, 15(4)30--30, 17(4)29--29, 17(4)30--30, 18(2)16--16,
21(1)3--3, 21(3)26--26, 21(4)34--34, 23(4)25--25
-
representable, 10(2)8--8, 11(4)26--26
-
representation, 1(1)60--76, 1(1)131--161, 1(2)175--207, 1(2)208--246,
1(2)247--284, 2(2)182--215, 2(2)255--287, 2(3)289--339,
7(3)499--562, 9(2)13--13, 10(3)15--15, 10(4)29--29, 11(4)26--26,
12(1)2--2, 12(2)9--9, 12(4)26--26, 13(3)21--21, 13(3)23--23,
13(4)30--30, 14(2)8--8, 14(3)17--17, 15(1)9--9, 15(2)11--11,
15(2)12--12, 15(3)18--18, 16(4)33--33, 17(1)5--5, 18(1)1--1,
18(1)6--6, 18(2)15--15, 18(2)16--16, 19(3)20--20, 20(2)12--12,
20(4)20--20, 22(1)6--6, 24(1)9--9
-
represented, 1(1)131--161, 11(4)27--27, 12(1)2--2, 12(4)26--26,
13(2)11--11, 13(4)30--30, 14(3)17--17, 14(4)29--29, 14(4)32--32,
18(2)15--15, 19(3)19--19, 20(4)20--20
-
representing, 8(3)18--18, 10(2)10--10, 14(1)2--2, 14(2)13--13,
15(3)18--18, 15(4)35--35, 16(3)27--27, 18(1)3--3, 18(4)28--28,
20(4)20--20
-
Reps, Thomas, 8(1)z--99999999
-
Reps, Thomas, see Yorsh, Greta
-
request, 2(3)388--407, 13(1)1--1, 15(4)27--27
-
requested, 15(3)23--23
-
requesting, 12(2)17--17
-
require, 10(1)4--4, 10(3)17--17, 10(3)20--20, 12(1)2--2, 12(1)4--4,
12(2)16--16, 13(2)14--14, 14(3)20--20, 14(3)22--22, 16(2)12--12,
16(3)21--21, 16(3)23--23, 16(3)24--24, 16(3)25--25, 16(3)27--27,
16(4)31--31, 16(4)33--33, 17(2)12--12, 17(2)14--14, 17(3)19--19,
18(2)12--12, 18(2)14--14, 19(1)6--6, 20(4)19--19, 20(4)20--20,
20(4)23--23, 23(2)11--11
-
required, 2(2)155--181, 9(4)28--28, 13(2)15--15, 14(3)22--22,
15(2)16--16, 17(4)32--32, 18(2)12--12, 19(2)8--8, 19(2)12--12,
19(2)14--14, 19(3)19--19, 20(4)20--20
-
requirement, 12(1)5--5, 18(2)10--10, 20(1)1--1, 24(3)24--24
-
requiring, 15(3)24--24
-
Res-Lin, 19(4)29--29
-
research, 8(3)17--17, 9(1)7--7, 10(3)22--22, 11(3)17--17, 11(3)19--19,
12(2)11--11, 12(4)24--24, 13(3)21--21, 13(4)33--33, 14(4)32--32,
15(1)1--1, 15(4)28--28, 16(4)31--31, 17(3)20--20, 17(3)21--21,
18(1)6--6, 18(2)16--16, 18(3)23--23, 20(1)6--6, 23(4)23--23
-
researcher, 15(4)35--35
-
resetting, 15(2)15--15
-
reshuffle, 20(3)18--18
-
residual, 15(4)32--32, 20(1)6--6
-
residuated, 22(2)10--10
-
resilient, 20(3)16--16
-
resistance, 17(4)23--23
-
Resk, 12(1)4--4
-
resolution, 2(1)12--56, 5(2)316--320, 7(1)84--107, 7(1)108--150,
8(4)19--19, 9(4)28--28, 10(1)1--1, 10(1)3--3, 10(2)13--13,
10(3)17--17, 11(3)18--18, 12(1)4--4, 13(2)16--16, 14(1)1--1,
14(3)20--20, 14(4)28--28, 15(1)10--10, 15(2)17--17, 16(4)28--28,
17(3)19--19, 17(4)23--23, 17(4)26--26, 19(1)1--1, 19(3)22--22,
20(1)1--1, 20(4)23--23, 21(2)8--8, 21(3)18--18, 22(2)9--9,
23(3)16--16, 24(1)8--8, 24(2)10--10, 24(3)23--23, 24(4)31--31
-
resolution, hyper-, 20(4)23--23
-
resolution, Q-, 19(1)1--1, 21(2)8--8
-
resolution, SLD-, 2(1)57--92, 13(4)32--32, 14(3)21--21
-
resolution, SLG-, 2(1)57--92, 9(4)27--27
-
resolution-based, 13(2)16--16, 20(4)23--23
-
resolvable, 16(4)28--28
-
resolve, 9(1)5--5
-
resolved, 12(2)15--15, 16(4)28--28, 16(4)32--32, 17(1)1--1
-
resolving, 17(1)1--1, 21(1)6--6
-
resorting, 15(2)14--14
-
resource, 10(4)25--25, 10(4)27--27, 10(4)29--29, 14(2)10--10,
14(3)22--22, 17(2)11--11, 17(2)12--12, 19(2)13--13, 19(3)17--17
-
Resource-bounded, 3(3)402--417
-
resource-constrained, 11(4)23--23
-
Resource-distribution, 4(1)56--90
-
respect, 8(3)17--17, 8(4)23--23, 9(2)12--12, 9(2)13--13, 9(3)20--20,
9(3)21--21, 9(3)22--22, 10(2)9--9, 10(3)20--20, 10(3)21--21,
11(4)27--27, 12(2)17--17, 13(1)2--2, 13(1)6--6, 13(2)11--11,
13(2)17--17, 13(3)22--22, 13(3)25--25, 13(4)31--31, 14(1)1--1,
14(1)7--7, 14(2)10--10, 14(2)16--16, 14(3)21--21, 14(4)34--34,
15(1)1--1, 15(1)9--9, 15(2)17--17, 15(4)26--26, 15(4)30--30,
16(1)7--7, 16(1)9--9, 17(1)2--2, 18(2)12--12, 19(1)3--3, 19(3)19--19,
19(3)23--23, 20(1)1--1, 20(1)5--5, 20(3)13--13, 20(4)19--19,
20(4)25--25, 21(4)32--32, 23(4)24--24, 24(4)32--32
-
respective, 8(4)22--22, 10(1)1--1
-
respectively, 9(2)9--9, 12(2)10--10, 12(2)17--17, 12(4)27--27, 13(1)4--4,
13(3)19--19, 14(2)13--13, 14(4)33--33, 15(4)34--34, 16(1)6--6,
17(4)24--24, 18(2)11--11, 19(2)13--13, 19(3)18--18, 21(3)18--18
-
respond, 16(2)11--11
-
response, 2(3)388--407, 16(4)32--32, 18(4)31--31
-
responsibility, 9(3)20--20
-
rest, 8(4)21--21, 19(4)25--25
-
restrict, 2(2)182--215, 9(4)26--26, 15(3)24--24, 16(2)18--18,
17(2)14--14, 18(3)21--21, 19(4)28--28, 20(4)19--19
-
restricted, 2(1)93--134, 2(3)408--429, 8(3)17--17, 9(1)5--5, 9(4)26--26,
12(2)13--13, 12(4)24--24, 13(2)16--16, 13(3)27--27, 14(2)8--8,
14(2)16--16, 14(3)20--20, 14(3)24--24, 15(1)9--9, 15(1)10--10,
16(1)2--2, 16(1)3--3, 16(1)9--9, 16(2)15--15, 17(1)5--5, 17(2)10--10,
17(2)12--12, 18(1)1--1, 18(3)21--21, 18(4)28--28, 20(2)7--7,
20(3)13--13, 24(1)4--4
-
restricted, Mapping-, 18(4)28--28
-
restricted, mapping-, 18(4)28--28
-
restricting, 13(1)6--6, 13(3)21--21, 13(4)31--31, 15(1)2--2, 15(3)25--25,
16(3)27--27, 17(1)3--3, 18(3)21--21, 19(3)16--16, 19(4)25--25
-
restriction, 2(3)289--339, 8(3)14--14, 9(3)19--19, 10(1)6--6,
12(2)10--10, 12(4)24--24, 13(3)21--21, 13(4)28--28, 14(4)28--28,
16(2)15--15, 16(4)33--33, 17(1)4--4, 17(2)13--13, 17(2)14--14,
17(4)32--32, 19(1)3--3, 19(4)25--25, 20(4)21--21, 21(1)2--2,
21(4)27--27, 24(1)4--4
-
resultant, 21(1)3--3
-
resulted, 9(3)19--19
-
resulting, 9(1)6--6, 10(4)26--26, 10(4)29--29, 12(3)21--21, 13(1)2--2,
13(4)32--32, 13(4)33--33, 14(2)9--9, 14(2)13--13, 14(3)24--24,
15(2)13--13, 15(2)14--14, 15(4)32--32, 17(1)7--7, 18(2)8--8,
18(2)16--16, 18(4)29--29, 19(2)13--13, 19(2)14--14, 20(2)7--7,
20(4)19--19, 20(4)25--25, 22(1)6--6
-
retains, 9(2)9--9, 19(2)8--8
-
rethinking, 10(3)17--17
-
retrieve, 10(2)11--11
-
return, 13(3)26--26, 15(4)31--31, 16(1)8--8
-
reusability, 20(1)5--5
-
reuse, 15(1)5--5, 15(4)34--34
-
reusing, 13(4)33--33
-
Reutenauer, 20(1)3--3
-
reveal, 13(4)30--30, 18(2)8--8
-
revealed, 16(1)3--3
-
reversal, 9(3)17--17
-
reverse, 14(4)28--28
-
reversible, 15(3)22--22
-
reviewing, 8(3)15--15, 8(3)16--16
-
revise, 16(4)31--31
-
revised, 24(2)18--18
-
revision, 1(1)131--161, 1(2)175--207, 2(3)340--387, 13(4)30--30,
14(2)14--14, 16(4)31--31, 16(4)32--32, 17(2)9--9, 17(3)20--20,
18(1)6--6, 19(2)12--12, 24(2)18--18, 24(3)27--27
-
revisit, 8(4)21--21, 12(1)8--8, 16(4)32--32, 19(3)23--23
-
revisited, 1(2)175--207, 2(4)623--654
-
revisiting, 3(4)542--561, 21(1)6--6
-
revival, 13(2)16--16
-
reward, 20(4)19--19
-
rewritability, 24(2)16--16
-
rewrite, 2(2)216--254, 4(1)33--55, 5(2)321--331, 8(2)z--99999999,
10(2)11--11, 13(1)6--6, 14(1)4--4, 15(4)26--26, 16(2)14--14,
17(4)23--23, 18(2)17--17
-
rewrite-based, 10(1)4--4
-
rewriting, 6(1)102--123, 9(1)7--7, 10(1)4--4, 10(2)10--10, 10(3)20--20,
11(1)2--2, 14(4)31--31, 15(4)26--26, 16(2)10--10, 16(2)13--13,
16(2)14--14, 18(2)14--14, 18(3)25--25, 18(4)26--26, 19(1)6--6,
19(2)11--11, 22(1)3--3
-
Rey, Guy, 3(4)542--561
-
Rey, Guy, see Kaminski, Michael
-
RHBL, 9(3)21--21
-
Riazanov, Artur, 22(4)26--26
-
Riazanov, Artur, see Buss, Sam
-
rich, 1(2)285--320, 12(3)22--22
-
richer, 13(1)3--3, 13(4)29--29, 14(2)11--11, 16(4)33--33, 16(4)34--34,
19(1)6--6
-
Richerby, 19(2)7--7
-
right, 10(2)12--12, 11(4)25--25, 14(2)14--14, 14(4)34--34, 15(4)33--33,
16(1)1--1, 18(1)2--2, 20(2)7--7, 23(3)18--18
-
right, left-to-, 15(2)15--15
-
right-flat, 18(2)17--17
-
right-hand, 18(2)17--17
-
right-hand-side, 9(3)22--22
-
right-linear, 16(2)10--10
-
rightward, 12(3)19--19, 17(2)14--14
-
rigid, 13(3)21--21, 15(3)25--25, 18(4)26--26
-
Rigid, Interval-, 21(4)30--30
-
rigorous, 9(2)9--9, 19(4)28--28
-
rigorously, 16(4)32--32
-
Rigotti, Christophe, 5(2)177--205
-
Rigotti, Christophe, see Abdennadher, Slim
-
Riguzzi, 15(4)32--32
-
Riguzzi, Fabrizio, 15(4)32--32
-
Riguzzi:2014:TEL, 15(4)32--32
-
Rijke, 17(2)14--14
-
ring, 19(4)25--25, 20(1)3--3, 20(3)16--16, 23(3)16--16
-
ring, *-, 19(4)25--25
-
rise, 2(3)408--429, 12(4)24--24, 13(4)31--31, 14(2)14--14, 19(1)6--6,
19(3)23--23, 20(2)12--12, 21(2)14--14
-
Ritchie, 10(4)26--26
-
RL, 14(1)2--2
-
rLTL, 23(2)8--8
-
R\<sup\<d\</sup\<, 19(3)20--20
-
RMC, 13(2)12--12
-
RMCs, 13(2)12--12
-
ROBDD, 20(1)6--6
-
ROBDDs, 20(1)6--6
-
robot, 14(4)34--34
-
robotic-soccer, 10(1)5--5
-
robust, 13(1)1--1, 18(3)24--24, 19(4)28--28, 23(2)8--8
-
robustness, 8(4)20--20, 10(3)19--19, 23(2)8--8
-
Rocca, Simona Ronchi Della, 10(4)23--23, 13(2)18--18
-
Rocca, Simona Ronchi Della, see Baillot, Patrick,
see Gaboardi, Marco
-
Rodríguez-Carbonell, Enric, 20(4)25--25,
see Borralleras, Cristina
-
role, 1(1)33--59, 1(2)175--207, 9(4)25--25, 12(2)11--11, 12(4)25--25,
12(4)26--26, 13(3)21--21, 13(4)28--28, 15(1)7--7, 15(3)25--25,
16(1)6--6, 18(2)10--10, 19(1)4--4, 24(3)26--26, 24(4)34--34
-
rôle, 23(2)9--9
-
Román-Díez, Guillermo, 19(4)31--31,
see Albert, Elvira
-
Romero, Miguel, 24(2)16--16
-
Romero, Miguel, see Benedikt, Michael
-
Rondogiannis, Panagiotis, 14(3)21--21
-
Rondogiannis, Panagiotis, see Charalambidis, Angelos
-
Rondogiannis, Panos, 6(2)441--467
-
Rondogiannis:2005:MMS, 6(2)441--467
-
Rönnholm, Raine, 19(3)17--17, see Goranko, Valentin
-
root, 1(1)162--170
-
rooted, 18(3)23--23
-
Rosati, Riccardo, 3(2)177--225, 10(1)5--5
-
Rosati, Riccardo, see Donini, Francesco M.,
see Iocchi, Luca
-
Rosser, Church-, 14(4)31--31, 16(2)10--10
-
Rossi, Francesca, 7(3)563--589, 12(1)5--5
-
Rossi, Francesca, see Bistarelli, Stefano
-
Rossi, Gianfranco, 9(3)15--15
-
Rossi, Gianfranco, see Dovier, Agostino
-
Rossi, Matteo, 12(1)8--8, 21(3)26--26
-
Rossi, Matteo, see Furia, Carlo A.,
see Menghi, Claudio
-
Rossi, Sabina, 5(3)470--507
-
Rossi, Sabina, see Bossi, Annalisa
-
Rossman, 19(2)7--7
-
Röthlisberger, 20(1)2--2
-
Rougemont, Michel de, 8(4)20--20
-
Rougemont, Michel de, see Laplante, Sophie
-
Rough, 19(4)30--30, 24(1)2--2
-
roughly, 11(3)18--18, 14(1)2--2
-
round, 12(4)28--28, 15(1)2--2, 15(2)16--16, 19(2)14--14
-
round, Single-, 20(3)18--18
-
routines, 15(4)32--32
-
routing, 12(1)5--5
-
Roux, Stéphane, Le, 19(3)20--20
-
Roveri, Marco, 19(3)19--19
-
Roveri, Marco, see Cimatti, Alessandro
-
Roversi, Luca, 3(1)137--175
-
Roversi, Luca, see Asperti, Andrea
-
Rowe, Reuben N. S., 21(4)31--31
-
Rowe, Reuben N. S., see Cohen, Liron
-
Rubin, Sasha, 6(4)675--700, 22(1)5--5, 22(1)7--7
-
Rubin, Sasha, see Berthon, Raphaël,
see Khoussainov, Bakhadyr
-
Rubio, Albert, 16(2)13--13, 20(4)25--25
-
Rubio, Albert, see Borralleras, Cristina,
see Jouannaud, Jean-Pierre
-
Rubio, Julio, 15(3)23--23
-
Rubio, Julio, see Poza, María
-
rubric, 14(2)13--13
-
Rudolph, Sebastian, 14(1)2--2
-
Rudolph, Sebastian, see Krötzsch, Markus
-
Ruggieri, Salvatore, 4(2)207--259
-
Ruggieri, Salvatore, see Mesnard, Fred
-
Rugy-Altherre, Nicolas, De, 23(1)3--3
-
rule, ?-, 22(2)10--10
-
rule-based, 5(2)177--205, 14(1)1--1, 19(3)22--22
-
Rümmele, Stefan, 17(3)20--20, 18(1)6--6,
see Creignou, Nadia, \see{Haret, Adrian
-
run, 9(2)12--12, 11(4)23--23, 12(1)1--1, 12(2)9--9, 13(2)12--12,
13(4)32--32, 14(3)22--22, 15(3)24--24, 16(1)6--6, 16(3)27--27,
17(2)11--11, 17(4)31--31, 18(2)12--12, 21(3)17--17, 22(1)7--7
-
run-times, 14(2)15--15
-
running, 9(3)21--21, 14(3)20--20, 15(3)23--23, 15(3)24--24, 17(2)13--13
-
runtime, 9(3)16--16, 16(1)1--1, 18(4)31--31, 21(1)5--5
-
Rusinowitch, Michael, 4(1)33--55
-
Rusinowitch, Michael, see Comon, Hubert
-
Rusinowitch, Michaël, 9(4)24--24,
see Chevalier, Yannick
-
Rutten, Jan J. M. M., 15(1)3--3
-
Rutten, Jan J. M. M., see Bonchi, Filippo
-
Ryan, Mark, 1(2)247--284
-
Ryan, Mark, see Lomuscio, Alessio R.
-
Rybina, Tatiana, 2(2)155--181
-
Rybina:2001:DPT, 2(2)155--181
-
Ryzhikov, Vladislav, 15(3)25--25, 18(3)22--22
-
Ryzhikov, Vladislav, see Artale, Alessandro,
see Bresolin, Davide