BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brillout:Angelo

Contributed to:

VMCAI 20112011
IJCAR 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.