pith. sign in

Alban Ponse

Identifiers

  • name variant Alban Ponse 0.60 · backfill

Papers (18)

  1. Fracterm Calculus for Partial Meadows cs.LO · 2025 · author #2
  2. Fully Evaluated Left-Sequential Logics cs.LO · 2024 · author #1
  3. Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant cs.LO · 2018 · author #2
  4. An independent axiomatisation for free short-circuit logic cs.LO · 2017 · author #1
  5. Poly-infix operators and operator families math.HO · 2015 · author #2
  6. Evaluation trees for proposition algebra cs.LO · 2015 · author #2
  7. Fracpairs and fractions over a reduced commutative ring math.RA · 2014 · author #2
  8. Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals cs.LO · 2014 · author #2
  9. Equations for formally real meadows math.RA · 2013 · author #3
  10. Probability functions in the context of signed involutive meadows math.LO · 2013 · author #2
  11. On Hoare-McCarthy algebras cs.LO · 2010 · author #2
  12. A progression ring for interfaces of instruction sequences, threads, and services cs.PL · 2009 · author #2
  13. An Instruction Sequence Semigroup with Involutive Anti-Automorphisms cs.PL · 2009 · author #2
  14. Periodic Single-Pass Instruction Sequences cs.PL · 2008 · author #2
  15. Differential Meadows math.RA · 2008 · author #2
  16. Cancellation Meadows: a Generic Basis Theorem and Some Applications math.RA · 2008 · author #3
  17. Interface groups and financial transfer architectures cs.SE · 2007 · author #2
  18. Projection semantics for rigid loops cs.PL · 2007 · author #2

Mentions

  • 1406.3280 #2 · backfill · confidence 0.70 Alban Ponse
  • 1310.5011 #3 · backfill · confidence 0.70 Alban Ponse
  • 1307.5173 #2 · backfill · confidence 0.70 Alban Ponse
  • 1012.5059 #2 · backfill · confidence 0.70 Alban Ponse
  • 0909.2839 #2 · backfill · confidence 0.70 Alban Ponse
  • 0903.1352 #2 · backfill · confidence 0.70 Alban Ponse
  • 0810.1151 #2 · backfill · confidence 0.70 Alban Ponse
  • 0804.3336 #2 · backfill · confidence 0.70 Alban Ponse
  • 0803.3969 #3 · backfill · confidence 0.70 Alban Ponse
  • 0707.1639 #2 · backfill · confidence 0.70 Alban Ponse
  • 0707.1059 #2 · backfill · confidence 0.70 Alban Ponse

Frequent Coauthors