En la teoría de pruebas estructurales , el cálculo secuencial anidado es una reformulación del cálculo secuencial para permitir una inferencia profunda . [1]
Referencias
- ^ Alwen Tiu; Egor Ianovski; Rajeev Goré. "Lógica gramática en cálculo secuencial anidado: teoría de prueba y procedimientos de decisión". pag. 1. CiteSeerX 10.1.1.1060.4978 .