Consistency Implies Cut AdmissibilityReportar como inadecuado




Consistency Implies Cut Admissibility - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CEDRIC - Centre d-Etude et De Recherche en Informatique du Cnam

Abstract : For any finite and consistent first-order theory, we can find a presentation as a rewriting system that enjoys cut admissibility.





Autor: Guillaume Burel -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados