pith. sign in

Mnacho Echenim

Identifiers

  • name variant Mnacho Echenim 0.60 · backfill

Papers (11)

  1. Ilinva: Using Abduction to Generate Loop Invariants cs.LO · 2019 · author #1
  2. Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL cs.LO · 2018 · author #1
  3. A Generic Framework for Implicate Generation Modulo Theories cs.LO · 2018 · author #1
  4. The Complexity of Prenex Separation Logic with One Selector cs.LO · 2018 · author #1
  5. On the Expressive Completeness of Bernays-Sch\"onfinkel-Ramsey Separation Logic cs.LO · 2018 · author #1
  6. A Superposition Calculus for Abductive Reasoning cs.LO · 2014 · author #1
  7. Reasoning on Schemata of Formulae cs.LO · 2012 · author #1
  8. A Calculus for Generating Ground Explanations (Technical Report) cs.LO · 2012 · author #1
  9. Instantiation Schemes for Nested Theories cs.AI · 2011 · author #1
  10. Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries cs.AI · 2011 · author #2
  11. Instantiation of SMT problems modulo Integers cs.LO · 2010 · author #1

Mentions

  • 1406.0303 #1 · backfill · confidence 0.70 Mnacho Echenim
  • 1204.2990 #1 · backfill · confidence 0.70 Mnacho Echenim
  • 1201.5954 #1 · backfill · confidence 0.70 Mnacho Echenim
  • 1107.4937 #1 · backfill · confidence 0.70 Mnacho Echenim
  • 1107.4553 #2 · backfill · confidence 0.70 Mnacho Echenim
  • 1006.2921 #1 · backfill · confidence 0.70 Mnacho Echenim

Frequent Coauthors