pith. sign in

Emil Je\v{r}\'abek

Identifiers

  • name variant Emil Je\v{r}\'abek 0.60 · backfill

Papers (15)

  1. Rigid models of Presburger arithmetic math.LO · 2018 · author #1
  2. Galois connection for multiple-output operations math.LO · 2016 · author #1
  3. Division by zero math.LO · 2016 · author #1
  4. Proof complexity of intuitionistic implicational formulas cs.LO · 2015 · author #1
  5. A note on the substructural hierarchy cs.LO · 2015 · author #1
  6. Open induction in a bounded arithmetic for TC^0 cs.LO · 2014 · author #1
  7. The foundation axiom and elementary self-embeddings of the universe math.LO · 2013 · author #4
  8. Cluster expansion and the boxdot conjecture math.LO · 2013 · author #1
  9. Rules with parameters in modal logic I cs.LO · 2013 · author #1
  10. Integer factoring and modular square roots cs.CC · 2012 · author #1
  11. Sequence encoding without induction math.LO · 2012 · author #1
  12. Root finding with threshold circuits cs.DS · 2011 · author #1
  13. The ubiquity of conservative translations math.LO · 2011 · author #1
  14. The complexity of admissible rules of {\L}ukasiewicz logic cs.LO · 2011 · author #1
  15. Blending margins: The modal logic K has nullary unification type cs.LO · 2011 · author #1

Mentions

  • 1507.00700 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1404.7435 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1311.0814 #4 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1308.0994 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1305.4912 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1207.5220 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1201.5835 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1112.3925 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1108.6263 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1108.6261 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek
  • 1108.6240 #1 · backfill · confidence 0.70 Emil Je\v{r}\'abek

Frequent Coauthors