Errata [SM]

 

• Nella Definizione 2.1, quarto punto, Wnii deve essere Wni
• Nella definizione 2.5, nella parte relativa alle regole ammissibili, togliere Γ in entrambe le posizioni in cui viene utilizzato.
• Pagina 7, Sezione 2.2: nel primo riquadro evidenziato in questa pagina, Q=P dovrebbe essere sostituito con Q=R. Il secondo riquadro evidenziato indica che nel passaggio 4 si utilizza la CONGR1 mentre invece si dovrebbe usare la CONGR2, e viceversa nel passaggio 5. (by salvorex93)