pith. sign in

Juvenal Murwanashyaka

Identifiers

  • name variant Juvenal Murwanashyaka 0.60 · backfill

Papers (6)

  1. Notes on Interpretability between Weak First-order Theories: Theories of Sequences math.LO · 2024 · author #2
  2. There are no minimal essentially undecidable Theories math.LO · 2022 · author #2
  3. Weak Essentially Undecidable Theories of Concatenation II math.LO · 2021 · author #1
  4. Undecidability in First-Order Theories of Term Algebras Extended with a Substitution Operator math.LO · 2021 · author #1
  5. First-Order Concatenation Theory with Bounded Quantifiers math.LO · 2020 · author #2
  6. Notes on Fragments of First-Order Concatenation Theory math.LO · 2018 · author #2

Mentions

  • 2402.14286 #2 · arxiv_oai · confidence 0.70 Juvenal Murwanashyaka
  • 2207.08174 #2 · arxiv_oai · confidence 0.70 Juvenal Murwanashyaka
  • 2112.13907 #1 · arxiv_oai · confidence 0.70 Juvenal Murwanashyaka
  • 2111.00573 #1 · arxiv_oai · confidence 0.70 Juvenal Murwanashyaka
  • 2003.04964 #2 · arxiv_oai · confidence 0.70 Juvenal Murwanashyaka
  • 1804.06367 #2 · arxiv_oai · confidence 0.70 Juvenal Murwanashyaka

Frequent Coauthors