Edward Hermann Haeusler (PUC-Rio)

Identifiers

• name variant Edward Hermann Haeusler (PUC-Rio) 0.60 · backfill

Papers (3)

1. Finiteness and Computation in Toposes cs.LO · 2016 · author #1
2. Proof-graphs for Minimal Implicational Logic cs.LO · 2014 · author #2
3. Propositional Logics Complexity and the Sub-Formula Property cs.LO · 2014 · author #1

Mentions

• 1404.0082 #2 · backfill · confidence 0.70 Edward Hermann Haeusler (PUC-Rio)
• 1401.8209 #1 · backfill · confidence 0.70 Edward Hermann Haeusler (PUC-Rio)

Frequent Coauthors

• Ghent University 1 shared papers
• Lew Gordeev (Tubingen University 1 shared papers
• Marcela Quispe-Cruz (PUC-Rio) 1 shared papers
• PUC-Rio) 1 shared papers