pith. sign in

Nicolas Peltier

Identifiers

  • name variant Nicolas Peltier 0.60 · backfill

Papers (15)

  1. Ilinva: Using Abduction to Generate Loop Invariants cs.LO · 2019 · author #2
  2. Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL cs.LO · 2018 · author #3
  3. A Generic Framework for Implicate Generation Modulo Theories cs.LO · 2018 · author #2
  4. The Complexity of Prenex Separation Logic with One Selector cs.LO · 2018 · author #3
  5. On the Expressive Completeness of Bernays-Sch\"onfinkel-Ramsey Separation Logic cs.LO · 2018 · author #3
  6. A Tableaux Calculus for Reducing Proof Size cs.LO · 2018 · author #2
  7. A Superposition Calculus for Abductive Reasoning cs.LO · 2014 · author #2
  8. Decidability and Undecidability Results for Propositional Schemata cs.LO · 2014 · author #3
  9. Reasoning on Schemata of Formulae cs.LO · 2012 · author #2
  10. A Calculus for Generating Ground Explanations (Technical Report) cs.LO · 2012 · author #2
  11. Instantiation Schemes for Nested Theories cs.AI · 2011 · author #2
  12. Generating Schemata of Resolution Proofs cs.AI · 2011 · author #2
  13. Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) cs.LO · 2011 · author #3
  14. Instantiation of SMT problems modulo Integers cs.LO · 2010 · author #2
  15. A Decidable Class of Nested Iterated Schemata (extended version) cs.LO · 2010 · author #3

Mentions

  • 1401.3900 #3 · backfill · confidence 0.70 Nicolas Peltier
  • 1204.2990 #2 · backfill · confidence 0.70 Nicolas Peltier
  • 1201.5954 #2 · backfill · confidence 0.70 Nicolas Peltier
  • 1107.4937 #2 · backfill · confidence 0.70 Nicolas Peltier
  • 1106.2692 #2 · backfill · confidence 0.70 Nicolas Peltier
  • 1102.2174 #3 · backfill · confidence 0.70 Nicolas Peltier
  • 1006.2921 #2 · backfill · confidence 0.70 Nicolas Peltier
  • 1001.4251 #3 · backfill · confidence 0.70 Nicolas Peltier

Frequent Coauthors