On Strong Normalization in Proof-Graphs for Propositional...

Electronic Notes in Theoretical Computer Science 2016 / 07 Vol. 323

On Strong Normalization in Proof-Graphs for Propositional Logic

Quispe-Cruz, Marcela, Haeusler, Edward, Gordeev, Lew
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
323
Language:
english
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2016.06.012
Date:
July, 2016
File:
PDF, 1.57 MB
english, 2016
Conversion to is in progress
Conversion to is failed