Lines Matching refs:comp
9 \def\comp#1{\lbb#1\rbb}
58 &1.&\quad A\to B &: \comp{Na,A}\sb{Kb} \\
59 &2.&\quad B\to A &: \comp{Na,Nb}\sb{Ka} \\
60 &3.&\quad A\to B &: \comp{Nb}\sb{Kb}
72 $\comp{Na,A}\sb{Kb}$ and extracted~$Na$. That is precisely what
85 &1.&\quad A\to C &: \comp{Na,A}\sb{Kc} &&
86 \qquad 1'.&\quad C\to B &: \comp{Na,A}\sb{Kb} \\
87 &2.&\quad B\to A &: \comp{Na,Nb}\sb{Ka} \\
88 &3.&\quad A\to C &: \comp{Nb}\sb{Kc} &&
89 \qquad 3'.&\quad C\to B &: \comp{Nb}\sb{Kb}
111 &1.&\quad A\to B &: \comp{Na,A}\sb{Kb} \\
112 &2.&\quad B\to A &: \comp{Na,Nb,B}\sb{Ka} \\
113 &3.&\quad A\to B &: \comp{Nb}\sb{Kb}
116 $\comp{Na,Nb,B}\sb{Ka}$ when she was expecting to receive
117 $\comp{Na,Nb,C}\sb{Ka}$. She will abandon the run, and eventually so