Desharnais, Jules
Desharnais, Jules, 1949-
Jules Desharnais informaticien et professeur d'université
VIAF ID: 13994167 ( Personal )
Permalink: http://viaf.org/viaf/13994167
Preferred Forms
- 200 _ | ‡a Desharnais ‡b Jules
- 100 1 _ ‡a Desharnais, Jules (sparse)
-
-
- 100 1 0 ‡a Desharnais, Jules
- 100 1 _ ‡a Desharnais, Jules
-
- 100 1 _ ‡a Desharnais, Jules ‡d 1949-
-
- 100 0 _ ‡a Jules Desharnais ‡c informaticien et professeur d'université
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Characterizing determinacy in Kleene algebras | |
A cognitive map formulation for relationships between agents | |
Computer program construction, c1994: | |
Conception de programmes par décomposition relationnelle. b. 1949 in Canada. | |
Demonic relational semantics of sequential programs | |
Difunctional relations : a formal tool for program specification | |
Formal models of program design... | |
Kleene algebra with domain | |
Kleene under a modal demonic star | |
Least reflexive points of relations | |
Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : proceedings | |
Modal kleene algebra and applications a survey | |
On the structure of demonic refinement algebras | |
A Relational algebra : its relevance to programming | |
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)] | |
Simple weak sufficient conditions for sharpness | |
Strongest invariant functions |