Travelled to:1 × USA
1 × United Kingdom
Collaborated with:D.Kröning P.Rümmer T.Wahl
Talks about:quantifi (2) presburg (2) interpol (2) arithmet (2) free (2) calculus (1) sequent (1) extens (1) beyond (1)
Person: Angelo Brillout
DBLP: Brillout:Angelo
Contributed to:
2011
2010Wrote 2 papers:
- VMCAI-2011-BrilloutKRW #quantifier
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (AB, DK, PR, TW), pp. 88–102.
- IJCAR-2010-BrilloutKRW #calculus #quantifier
- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (AB, DK, PR, TW), pp. 384–399.