Jules Desharnais
Has participated in:
-
Kleene under a modal demonic star
-
Relational methods in computer science : the Québec seminar ; [selection of papers that were presented at the Fifth International Seminar on Relational Methods in Computer Science (RelMiCS 5)]
-
Least reflexive points of relations
-
Non-associative Kleene algebra and temporal logics