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 × Austria
1 × Brazil
1 × Italy
1 × Japan
1 × Portugal
1 × USA
2 × Poland
Collaborated with:
∅ A.Das G.Barthe B.Grégoire F.Blanqui C.Kirchner
Talks about:
mso (3) infinit (2) candid (2) reduc (2) tree (2) confluenc (1) interact (1) calculus (1) automata (1) product (1)

Person: Colin Riba

DBLP DBLP: Riba:Colin

Contributed to:

LICS 20152015
TLCA 20152015
LICS 20132013
TLCA 20092009
CSL 20082008
FoSSaCS 20072007
LICS 20072007
FoSSaCS 20062006

Wrote 8 papers:

LICS-2015-DasR #axiom #infinity
A Complete Axiomatization of MSO on Infinite Trees (AD, CR), pp. 390–401.
TLCA-2015-Riba #automaton
Fibrations of Tree Automata (CR), pp. 302–316.
LICS-2013-Riba #infinity #word
Forcing MSO on Infinite Words in Weak MSO (CR), pp. 448–457.
TLCA-2009-Riba #on the
On the Values of Reducibility Candidates (CR), pp. 264–278.
CSL-2008-BartheGR #termination #type system
Type-Based Termination with Sized Products (GB, BG, CR), pp. 493–507.
FoSSaCS-2007-Riba #on the
On the Stability by Union of Reducibility Candidates (CR), pp. 317–331.
LICS-2007-Riba #interactive #normalisation
Strong Normalization as Safe Interaction (CR), pp. 13–22.
FoSSaCS-2006-BlanquiKR #confluence #on the #λ-calculus
On the Confluence of λ-Calculus with Conditional Rewriting (FB, CK, CR), pp. 382–397.
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.