Derived Nodes

All other nodes of the ATMS.

For example:

w=1, {{A, B}, {C}, {E}}, {(b), (c, d)}

represnts the fact that w=1 is derived from either the node b or the nodes c and d , and, moreover, the nodes holds in the environments {A, B} and {C} and {E}.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica