Lattice Theory. No. v. 25,pt. 2 in, 1967. ,
Mathematical morphology, Handbook of Spatial Logics, pp.857-944, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00556180
Introduction to lattices and order, 2002. ,
Enumeration of order preserving maps, Order, vol.9, issue.1, pp.15-29, 1992. ,
An introduction to probability theory and its applications, Wiley series in probability and mathematical statistics: Probability and mathematical statistics, 1971. ,
, Continuous lattices and domains, 2003.
On the lattice of all join-endomorphisms of a lattice, Proceedings of The American Mathematical Society -PROC AMER MATH SOC, vol.9, pp.722-722, 1958. ,
Belief, knowledge, lies and other utterances in an algebra for space and extrusion, J. Log. Algebr. Meth. Program, vol.86, issue.1, pp.107-133, 2017. ,
Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents, CONCUR 2019 -30th International Conference on Concurrency Theory, vol.29, pp.1-29, 2019. ,
Tree structure for distributive lattices and its applications, Theoretical Computer Science, vol.165, issue.2, pp.391-405, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01765441
Relation algebras, idempotent semirings and generalized bunched implication algebras, Relational and Algebraic Methods in Computer Science, pp.144-158, 2017. ,
Generating all finite modular lattices of a given size, Algebra universalis, vol.74, issue.3, pp.253-264, 2015. ,
Spatial and Epistemic Modalities in Constraint-Based Process Calculi, 23rd International Conference on Concurrency Theory, vol.7454, pp.317-332, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00761116
Why mathematical morphology needs complete lattices, Signal Processing, vol.21, issue.2, pp.129-154, 1990. ,
On validity in modelization of musical problems by ccp, Soft Computing, vol.8, issue.9, pp.641-648, 2004. ,
On Discrete Idempotent Paths, Combinatorics on Words, vol.11682, pp.312-325, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02153821
Why mathematical morphology needs quantales, International Symposium on Mathematical Morphology, ISMM09, pp.13-16, 2009. ,