Adapting Proofs-as-Programs

File Size : 29,29 MB
Total View : 9890 Views
DOWNLOAD

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developi

Kompendium der koronaren Herzkrankheit

File Size : 52,52 MB
Total View : 1029 Views
DOWNLOAD

Types for Proofs and Programs

File Size : 15,15 MB
Total View : 1549 Views
DOWNLOAD

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by t

Types for Proofs and Programs

File Size : 20,20 MB
Total View : 5861 Views
DOWNLOAD

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based o

Paraconsistency

File Size : 88,88 MB
Total View : 8253 Views
DOWNLOAD

This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also pr