40 citations · 142 across the 19 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
Companions, Causality and Codensity
Damien Pous, Jurriaan Rot
In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The l…
cs.LO2017★ 2 cited
Petri Automata
Paul Brunet, Damien Pous
Kleene algebra axioms are complete with respect to both language models and binary relation models. In particular, two regular expressions recognise the same language if and only i…