Colin Riba

Available identifiers

Publication	Date of Publication	Type
Temporal refinements for guarded recursive types	2021-10-18	Paper
LMSO	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5129949	2020-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q5111328	2020-05-26	Paper
Monoidal-closed categories of tree automata	2020-03-11	Paper
A Dialectica-like interpretation of a linear MSO on infinite words	2020-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5207050	2020-01-03	Paper
A Complete Axiomatization of MSO on Infinite Trees	2018-04-23	Paper
Fibrations of Tree Automata	2017-07-12	Paper
Forcing MSO on Infinite Words in Weak MSO	2017-07-03	Paper
On Bar Recursion and Choice in a Classical Setting	2015-01-12	Paper
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words	2012-09-21	Paper
On the confluence of lambda-calculus with conditional rewriting	2010-08-24	Paper
A Tutorial on Type-Based Termination	2009-07-28	Paper
On the Values of Reducibility Candidates	2009-07-07	Paper
Type-Based Termination with Sized Products	2008-11-20	Paper
Union of Reducibility Candidates for Orthogonal Constructor Rewriting	2008-06-19	Paper
Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems	2008-05-27	Paper
On the Stability by Union of Reducibility Candidates	2007-09-07	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Computer application to aid the unidirectional functional dimensioning and tolerancing synthesis	2005-10-28	Paper

This page was built for person: Colin Riba