Search results for: Stefan Hetzl
Journal of Automated Reasoning > 2019 > 63 > 1 > 95-126
Lecture Notes in Computer Science > Communications and Multimedia Security > Multimedia Security > 119-128
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 481-495
Lecture Notes in Computer Science > Algebraic and Proof-theoretic Aspects of Non-classical Logics > 201-230
Annals of Pure and Applied Logic > 2015 > 166 > 6 > 665-700
Theoretical Computer Science > 2014 > 549 > Complete > 1-16
Annals of Pure and Applied Logic > 2011 > 162 > 12 > 1001-1034
Archive for Mathematical Logic > 2010 > 49 > 5 > 529-554
Annals of Pure and Applied Logic > 2009 > 159 > 1-2 > 129-145
Theoretical Computer Science > 2008 > 403 > 2-3 > 160-175