VSL 2014: VIENNA SUMMER OF LOGIC 2014

Generating Matrix Identities and Hard Instances for Strong Proof Systems

Authors: Fu Li and Iddo Tzameret

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Generating Matrix Identities and Hard Instances for Strong Proof Systems
Authors:Fu Li and Iddo Tzameret
Proceedings:PC 2014 Abstracts
Editors: Jan Johannsen and Olaf Beyersdorff
Keywords:
Abstract:
Pages:2
Talk:Jul 13 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program