- <td class="nnns top capitalize italic prune">
- <br />
- </td>
- <td class="nnns top italic prune">
- <br />
- </td>
- <td class="snns top prune">snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] )</td>
- <td class="snnn top prune">snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_fsb snv_scpes snv_preserve</td>
- <td class="snnn top prune">
- <br />
- </td>
- <td class="ssnn top prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic blue">equivalence</td>
- <td class="snns top italic blue">decomposed rt-equivalence</td>
- <td class="snns top blue">scpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?,?,?] ? )</td>
- <td class="snnn top blue">scpes_aaa scpes_cpcs scpes_scpes</td>
- <td class="snnn top blue">
- <br />
- </td>
- <td class="ssnn top blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic blue">
- <br />
- </td>
- <td class="snns top italic blue">context-sensitive equivalence</td>
- <td class="snns top blue">cpcs ( ⦃?,?⦄ ⊢ ? ⬌* ? )</td>
- <td class="snnn top blue">cpcs_aaa cpcs_cprs cpcs_cpcs</td>
- <td class="snnn top blue">
- <br />
- </td>
- <td class="ssnn top blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic sky">conversion</td>
- <td class="snns top italic sky">context-sensitive conversion</td>
- <td class="snns top sky">cpc ( ⦃?,?⦄ ⊢ ? ⬌ ? )</td>
- <td class="snnn top sky">cpc_cpc</td>
- <td class="snnn top sky">
- <br />
- </td>
- <td class="ssnn top sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic cyan">computation</td>
- <td class="snns top italic cyan">evaluation for context-sensitive rt-reduction</td>
- <td class="snns top cyan">cpxe ( ⦃?,?⦄ ⊢ ➡*[?,?] 𝐍⦃?⦄ )</td>
- <td class="snnn top cyan">
- <br />
- </td>
- <td class="snnn top cyan">
- <br />
- </td>
- <td class="ssnn top cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="snns top italic cyan">evaluation for context-sensitive reduction</td>
- <td class="snns top cyan">cpre ( ⦃?,?⦄ ⊢ ➡* 𝐍⦃?⦄ )</td>
- <td class="snnn top cyan">cpre_cpre</td>
- <td class="snnn top cyan">
- <br />
- </td>
- <td class="ssnn top cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="snns top italic cyan">strongly normalizing qrst-computation</td>
- <td class="snns top cyan">fsb ( ⦥[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn top cyan">fsb_alt ( ⦥⦥[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn top cyan">fsb_aaa fsb_csx</td>
- <td class="ssnn top cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="snns top italic cyan">strongly normalizing rt-computation</td>
- <td class="snns top cyan">lcosx ( ? ⊢ ~⬊*[?,?,?] ? )</td>
- <td class="snnn top cyan">lcosx_cpx</td>
- <td class="snnn top cyan">
- <br />
- </td>
- <td class="ssnn top cyan">
- <br />
- </td>