Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maryam Fazel
Complexity in Automation of SOS Proofs: An Illustrative Example
Related publications
Demand Management: An Illustrative Example
Meta-Analysis in Higher Education: An Illustrative Example Using Hierarchical Linear Modeling
Research in Higher Education
Education
Errors in Computational Complexity Proofs for Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Complexity Tradeoff in Ranking-Function Termination Proofs
Acta Informatica
Computer Networks
Software
Information Systems
Communications
On the Concrete Complexity of Zero-Knowledge Proofs
The Complexity of Design Automation Problems
The Complexity of Generating and Checking Proofs of Membership
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Note on the Complexity of Classical and Intuitionistic Proofs
Making Proofs Without Modus Ponens: An Introduction to the Combinatorics and Complexity of Cut Elimination
Bulletin of the American Mathematical Society
Mathematics
Applied Mathematics
