- 32
- 9
- 6
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
Luigi Santocanale
63
Documents
Researcher identifiers
luigi-santocanale
- IdRef : 137437080
-
0000-0002-4237-7856
Presentation
Publications
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 4
- 6
- 2
- 6
- 3
- 3
- 5
- 3
- 1
- 5
- 1
- 2
- 5
- 7
- 1
- 10
- 4
- 4
- 1
|
Bijective proofs for Eulerian numbers of types B and DDiscrete Mathematics and Theoretical Computer Science, 2023
Journal articles
hal-03204493v4
|
|
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and BeyondMathematical Structures in Computer Science, In press
Journal articles
hal-01969235v1
|
|
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)ACM Transactions on Computational Logic, In press, 21 (1), pp.1--37. ⟨10.1145/3359669⟩
Journal articles
hal-01716485v1
|
|
The equational theory of the weak order on finite symmetric groupsJournal of the European Mathematical Society, 2018, 20 (8), pp.1959--2003. ⟨10.4171/JEMS/804⟩
Journal articles
hal-00986148v2
|
|
Embeddability into relational lattices is undecidableJournal of Logical and Algebraic Methods in Programming, 2018, 97, pp.131-148. ⟨10.1016/j.jlamp.2018.03.001⟩
Journal articles
hal-01344299v3
|
|
Dual characterizations for finite lattices via correspondence theory for monotone modal logicJournal of Logic and Computation, 2016, J Logic Computation 2016, ⟨10.1093/logcom/exw011⟩
Journal articles
hal-01054715v1
|
|
Lattices of regular closed subsets of closure spacesInternational Journal of Algebra and Computation, 2014, 24 (7), pp.969--1030. ⟨10.1142/S021819671450043X⟩
Journal articles
hal-00836420v2
|
|
The extended permutohedron on a transitive binary relationEuropean Journal of Combinatorics, 2014, 42, pp.179--206. ⟨10.1016/j.ejc.2014.06.004⟩
Journal articles
hal-00750265v3
|
|
Sublattices of associahedra and permutohedraAdvances in Applied Mathematics, 2013, 51 (3), pp.419--445. ⟨10.1016/j.aam.2013.03.003⟩
Journal articles
hal-00577258v4
|
|
Varieties of lattices with geometric descriptionsOrder, 2013, 30 (1), pp.13--38. ⟨10.1007/s11083-011-9225-1⟩
Journal articles
hal-00564024v2
|
|
Completeness for Flat Modal Fixpoint LogicsAnnals of Pure and Applied Logic, 2010, 162 (1), pp.55-82. ⟨10.1016/j.apal.2010.07.003⟩
Journal articles
hal-00346782v1
|
|
The Variable Hierarchy for the Games mu-CalculusAnnals of Pure and Applied Logic, 2010, 161 (5), pp.690-707. ⟨10.1016/j.apal.2009.07.015⟩
Journal articles
hal-00178806v2
|
|
Derived Semidistributive LatticesAlgebra Universalis, 2010, 63 (2), pp.101--130. ⟨10.1007/s00012-010-0073-4⟩
Journal articles
hal-00165699v2
|
|
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)Information and Computation, 2010, 208 (6), pp.652--665. ⟨10.1016/j.ic.2009.05.006⟩
Journal articles
hal-00369451v1
|
Topological Properties of Event StructuresElectronic Notes in Theoretical Computer Science, 2009, Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory (GETCO 2004+2005+2006), 230 (149–160), ⟨10.1016/j.entcs.2009.02.023⟩
Journal articles
hal-01261062v1
|
|
Completions of mu-algebrasAnnals of Pure and Applied Logic, 2007, 154 (1), pp.27-50. ⟨10.1016/j.apal.2007.11.001⟩
Journal articles
hal-00142353v1
|
|
On the join dependency relation in multinomial lattices (Congruences of Multinomial Lattices)Order, 2007, 24 (3), pp.155--179. ⟨10.1007/s11083-007-9066-0⟩
Journal articles
hal-00142355v1
|
|
Ambiguous classes in μ-calculi hierarchiesTheoretical Computer Science, 2005, Foundations of Software Science and Computation Structures, 333 (1--2), pp.265-296. ⟨10.1016/j.tcs.2004.10.024⟩
Journal articles
hal-01261055v1
|
|
On the equational definition of the least prefixed pointTheoretical Computer Science, 2003, 295 (1--3), pp.341-370. ⟨10.1016/S0304-3975(02)00412-7⟩
Journal articles
hal-01261053v1
|
|
Induction, coinduction, and adjointsElectronic Notes in Theoretical Computer Science, 2003, 69, pp. 1--19. ⟨10.1016/S1571-0661(04)80561-9⟩
Journal articles
hal-01288863v1
|
|
The alternation hierarchy for the theory of μ-latticesTheory and Applications of Categories, 2002, A special volume of articles from the CT2000 Conference, 9, pp.166--197
Journal articles
hal-01261116v1
|
|
Free $\mu$-latticesJournal of Pure and Applied Algebra, 2002, Category Theory 1999: selected papers, conference held in Coimbra in honour of the 90th birthday of Saunders Mac Lane, 168 (2--3), pp.227-264. ⟨10.1016/S0022-4049(01)00098-6⟩
Journal articles
hal-01261049v1
|
|
μ-Bicomplete Categories and Parity GamesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, Fixed Points in Computer Science (FICS'01), 36 (2), pp.195--227. ⟨10.1051/ita:2002010⟩
Journal articles
hal-01261052v1
|
|
Skew Metrics Valued in Sugihara SemigroupsRAMiCS 2021, Nov 2021, Marseille, France. pp.396-412, ⟨10.1007/978-3-030-88701-8_24⟩
Conference papers
hal-03956706v1
|
Skew metrics valued in Sugihara semigroupsRelational and Algebraic Methods in Computer Science, Feb 2021, Marseille, France. pp.396--412
Conference papers
hal-03518407v1
|
|
|
The Involutive Quantaloid of Completely Distributive LatticesRAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301
Conference papers
hal-02342655v3
|
|
Dualizing sup-preserving endomaps of a complete latticeApplied Category Theory Conference 2020, Jul 2020, Cambridge, United States
Conference papers
hal-02901445v1
|
|
Dualizing sup-preserving endomaps of a complete latticeACT 2020, Jul 2020, Cambridge, United States. pp.335-346, ⟨10.4204/EPTCS.333.23⟩
Conference papers
hal-03956683v1
|
|
ON DISCRETE IDEMPOTENT PATHSWords 2019, Sep 2019, Loughborough, United Kingdom. pp.312--325, ⟨10.1007/978-3-030-28796-2_25⟩
Conference papers
hal-02153821v1
|
|
Ruitenburg's Theorem via Duality and Bounded BisimulationsAdvances in Modal Logic, Aug 2018, Bern, Switzerland
Conference papers
hal-01766636v1
|
|
The equational theory of the natural join and inner union is decidableFOSSACS 2018, Apr 2018, Thessaloniki, Greece. pp.494--510, ⟨10.1007/978-3-319-89366-2_27⟩
Conference papers
hal-01625134v1
|
|
MIX STAR-AUTONOMOUS QUANTALES AND THE CONTINUOUS WEAK ORDERRAMICS 2018, Oct 2018, Groningen, Netherlands. ⟨10.1007/978-3-030-02149-8_12⟩
Conference papers
hal-01838560v1
|
|
$\aleph_1$ and the Modal $\mu$-Calculus26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden
Conference papers
hal-01503091v1
|
|
Embeddability into relational lattices is undecidable ⋆RAMICS 2017, May 2017, Lyon, France
Conference papers
hal-01474822v1
|
|
Fixed-point elimination in the Intuitionistic Propositional CalculusFOSSACS 2016, Apr 2016, Eindhoven, Netherlands
Conference papers
hal-01249822v1
|
|
Relational lattices via dualityCoalgebraic Methods in Computer Science 2016, Apr 2016, Eindhoven, Netherlands
Conference papers
hal-01279408v1
|
|
Relational Lattices via Duality13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.195-215, ⟨10.1007/978-3-319-40370-0_12⟩
Conference papers
hal-01446027v1
|
Fixed-point theory in the varieties D_nRAMICS, Apr 2014, Marienstatt im Westerwald, Germany. pp.446--462, ⟨10.1007/978-3-319-06251-8_27⟩
Conference papers
hal-01260836v1
|
|
Cuts for circular proofs: semantics and cut-eliminationComputer Science Logic 2013, Sep 2013, Torino, Italy. pp.248--262, ⟨10.4230/LIPIcs.CSL.2013.248⟩
Conference papers
hal-01260986v1
|
|
Uniform interpolation for monotone modal logicAdvances in Modal Logic, 2010, Moscow, Russia. pp.350--370
Conference papers
hal-01281238v1
|
|
|
On the word problem for SP-categories, and the properties of two-way communicationCSL 2009, Sep 2009, Coimbra, Portugal. pp.194-208, ⟨10.1007/978-3-642-04027-6_16⟩
Conference papers
hal-00374654v1
|
Y. Venema, L. Santocanale, Completeness for flat modal fixpoint logics,14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.499--513, ⟨10.1007/978-3-540-75560-9_36⟩
Conference papers
hal-01290705v1
|
|
|
A Nice Labelling for Tree-Like Event Structures of Degree 3CONCUR 2007, Sep 2007, Lisbon, Portugal. pp.151-165, ⟨10.1007/978-3-540-74407-8_11⟩
Conference papers
hal-00142349v1
|
|
Undirected Graphs of Entanglement TwoFSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Dec 2007, India. ⟨10.1007/978-3-540-77050-3_42⟩
Conference papers
hal-00144355v2
|
Topological properties of event structuresGETCO 2006, Geometrical and Topological Methods in Concurrency, Aug 2006, Bonn, Germany. pp.149-160, ⟨10.1016/j.entcs.2009.02.023⟩
Conference papers
hal-00432038v1
|
|
Completions of μ-algebras 20th IEEE Symposium on Logic in Computer Science, Jun 2005, Chicago, United States. pp.219--228, ⟨10.1109/LICS.2005.11⟩
Conference papers
hal-01288855v1
|
|
Algebraic and model theoretic techniques for fusion decidability in modal logics10th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Sep 2003, Almaty, Kazakhstan. pp.152--166, ⟨10.1007/b13986⟩
Conference papers
hal-01281233v1
|
|
Ambiguous classes in the games μ-calculus hierarchy6th International Conference on Foundations of Software Science and Computation Structures, Apr 2003, Warsaw, Poland. pp.70--86, ⟨10.1007/3-540-36576-1_5⟩
Conference papers
hal-01288878v1
|
|
Logical Construction of Final CoalgebrasElectronic Notes in Theoretical Computer Science, 2003, Warsaw, Poland. vol 82, p. 1-20
Conference papers
hal-00111230v1
|
|
From parity games to circular proofsCMCS'2002, Coalgebraic Methods in Computer Science., Apr 2002, Grenoble, France. pp.1--12, ⟨10.1016/S1571-0661(04)80370-0⟩
Conference papers
hal-01261240v1
|
|
|
Congruences of modal $\mu$-algebrasFixed Points in Computer Science, Zoltan Esik, Anna Ingolfsdottir, Jul 2002, Copenhagen, Denmark. pp.77-81
Conference papers
hal-03928961v1
|
A calculus of circular proofs and its categorical semanticsFOSSACS 2002, Apr 2002, Grenoble, France. pp.357--371, ⟨10.1007/3-540-45931-6_25⟩
Conference papers
hal-01261170v1
|
|
On the equational definition of the least prefixed pointMathematical Foundations of Computer Science 2001, Aug 2001, Marianske Lazne, Czech Republic. ⟨10.1007/3-540-44683-4_56⟩
Conference papers
hal-01261158v1
|
Generalizations of the permutohedronG. Gratzer; F. Wehrung. Lattice Theory: Special Topics and Applications, Birkhäuser, pp.287--397, 2016
Book sections
hal-01774635v1
|
|
Permutohedra and AssociahedraLattice Theory: Special Topics and Applications (Volume 2), Birkhäuser / Springer, pp.215--286, 2016, ⟨10.1007/978-3-319-44236-5⟩
Book sections
hal-01700866v1
|
|
Lifting star-autonomous structures2023
Preprints, Working Papers, ...
hal-04209648v1
|
|
Unitless Frobenius quantales2022
Preprints, Working Papers, ...
hal-03661651v2
|
|
Frobenius structures in star-autonomous categories2022
Preprints, Working Papers, ...
hal-03739197v1
|
|
The continuous weak order2019
Preprints, Working Papers, ...
hal-01944759v3
|
|
Relational Semantics for Distributive Linear Logic2018
Preprints, Working Papers, ...
hal-01851509v1
|
|
A duality for finite lattices2009
Preprints, Working Papers, ...
hal-00432113v1
|
|
µ-Bicomplete Categories and Parity Games[Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002
Reports
hal-01376731v1
|
|
Structures algébriques en logique et concurrenceCalcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008
Accreditation to supervise research
tel-00369583v1
|