×
Author ID: riba.colin Recent zbMATH articles by "Riba, Colin"
Published as: Riba, Colin; Riba, C.
External Links: MGP
Documents Indexed: 21 Publications since 2004
Co-Authors: 10 Co-Authors with 14 Joint Publications
275 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 47 times in 25 Documents Cited by Year
Type-based termination with sized products. Zbl 1156.68341
Barthe, Gilles; Grégoire, Benjamin; Riba, Colin
9
2008
Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems. Zbl 1165.68389
Blanqui, Frédéric; Riba, Colin
7
2006
On the stability by union of reducibility candidates. Zbl 1142.03335
Riba, Colin
5
2007
A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words. Zbl 1283.03030
Riba, Colin
5
2012
Union of reducibility candidates for orthogonal constructor rewriting. Zbl 1142.03336
Riba, Colin
3
2008
A tutorial on type-based termination. Zbl 1250.68084
Barthe, Gilles; Grégoire, Benjamin; Riba, Colin
3
2009
Monoidal-closed categories of tree automata. Zbl 1435.68183
Riba, Colin
3
2020
A Curry-Howard approach to Church’s synthesis. Zbl 1509.03121
Pradic, Pierre; Riba, Colin
2
2019
LMSO: a Curry-Howard approach to Church’s synthesis via linear logic. Zbl 1453.03070
Pradic, Pierre; Riba, Colin
2
2018
On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016
Blanqui, Frédéric; Kirchner, Claude; Riba, Colin
1
2006
A complete axiomatization of MSO on infinite trees. Zbl 1394.03008
Das, Anupam; Riba, Colin
1
2015
On the values of reducibility candidates. Zbl 1246.03031
Riba, Colin
1
2009
Fibrations of tree automata. Zbl 1367.68206
Riba, Colin
1
2015
A Dialectica-like interpretation of a linear MSO on infinite words. Zbl 1429.03214
Pradic, Pierre; Riba, Colin
1
2019
A functional (monadic) second-order theory of infinite trees. Zbl 07269253
Das, Anupam; Riba, Colin
1
2020
A Curry-Howard approach to Church’s synthesis. Zbl 1434.03104
Pradic, Pierre; Riba, Colin
1
2017
Temporal refinements for guarded recursive types. Zbl 1473.68047
Jaber, Guilhem; Riba, Colin
1
2021
Temporal refinements for guarded recursive types. Zbl 1473.68047
Jaber, Guilhem; Riba, Colin
1
2021
Monoidal-closed categories of tree automata. Zbl 1435.68183
Riba, Colin
3
2020
A functional (monadic) second-order theory of infinite trees. Zbl 07269253
Das, Anupam; Riba, Colin
1
2020
A Curry-Howard approach to Church’s synthesis. Zbl 1509.03121
Pradic, Pierre; Riba, Colin
2
2019
A Dialectica-like interpretation of a linear MSO on infinite words. Zbl 1429.03214
Pradic, Pierre; Riba, Colin
1
2019
LMSO: a Curry-Howard approach to Church’s synthesis via linear logic. Zbl 1453.03070
Pradic, Pierre; Riba, Colin
2
2018
A Curry-Howard approach to Church’s synthesis. Zbl 1434.03104
Pradic, Pierre; Riba, Colin
1
2017
A complete axiomatization of MSO on infinite trees. Zbl 1394.03008
Das, Anupam; Riba, Colin
1
2015
Fibrations of tree automata. Zbl 1367.68206
Riba, Colin
1
2015
A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words. Zbl 1283.03030
Riba, Colin
5
2012
A tutorial on type-based termination. Zbl 1250.68084
Barthe, Gilles; Grégoire, Benjamin; Riba, Colin
3
2009
On the values of reducibility candidates. Zbl 1246.03031
Riba, Colin
1
2009
Type-based termination with sized products. Zbl 1156.68341
Barthe, Gilles; Grégoire, Benjamin; Riba, Colin
9
2008
Union of reducibility candidates for orthogonal constructor rewriting. Zbl 1142.03336
Riba, Colin
3
2008
On the stability by union of reducibility candidates. Zbl 1142.03335
Riba, Colin
5
2007
Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems. Zbl 1165.68389
Blanqui, Frédéric; Riba, Colin
7
2006
On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016
Blanqui, Frédéric; Kirchner, Claude; Riba, Colin
1
2006

Citations by Year