Luigi Santocanale
Présentation
Publications
Publications
|
|
Bijective proofs for Eulerian numbers of types B and DDiscrete Mathematics and Theoretical Computer Science, 2023 |
|
|
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⟩ |
|
|
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and BeyondMathematical Structures in Computer Science, In press |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
The extended permutohedron on a transitive binary relationEuropean Journal of Combinatorics, 2014, 42, pp.179--206. ⟨10.1016/j.ejc.2014.06.004⟩ |
|
|
Lattices of regular closed subsets of closure spacesInternational Journal of Algebra and Computation, 2014, 24 (7), pp.969--1030. ⟨10.1142/S021819671450043X⟩ |
|
|
Varieties of lattices with geometric descriptionsOrder, 2013, 30 (1), pp.13--38. ⟨10.1007/s11083-011-9225-1⟩ |
|
|
Sublattices of associahedra and permutohedraAdvances in Applied Mathematics, 2013, 51 (3), pp.419--445. ⟨10.1016/j.aam.2013.03.003⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Completeness for Flat Modal Fixpoint LogicsAnnals of Pure and Applied Logic, 2010, 162 (1), pp.55-82. ⟨10.1016/j.apal.2010.07.003⟩ |
|
|
Derived Semidistributive LatticesAlgebra Universalis, 2010, 63 (2), pp.101--130. ⟨10.1007/s00012-010-0073-4⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Completions of mu-algebrasAnnals of Pure and Applied Logic, 2007, 154 (1), pp.27-50. ⟨10.1016/j.apal.2007.11.001⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
Induction, coinduction, and adjointsElectronic Notes in Theoretical Computer Science, 2003, 69, pp. 1--19. ⟨10.1016/S1571-0661(04)80561-9⟩ |
μ-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⟩ |
|
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 |
|
|
|
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⟩ |
|
|
Complete Congruences of Completely Distributive LatticesRelational and Algebraic Methods in Computer Science (LNCS), Aug 2024, Cracovie, Poland. pp.101-118, ⟨10.1007/978-3-031-68279-7_7⟩ |
|
|
Skew Metrics Valued in Sugihara SemigroupsRAMiCS 2021, Nov 2021, Marseille, France. pp.396-412, ⟨10.1007/978-3-030-88701-8_24⟩ |
Skew metrics valued in Sugihara semigroupsRelational and Algebraic Methods in Computer Science, Feb 2021, Marseille, France. pp.396--412 |
|
|
|
Dualizing sup-preserving endomaps of a complete latticeACT 2020, Jul 2020, Cambridge, United States. pp.335-346, ⟨10.4204/EPTCS.333.23⟩ |
|
|
Dualizing sup-preserving endomaps of a complete latticeApplied Category Theory Conference 2020, Jul 2020, Cambridge, United States |
|
|
The Involutive Quantaloid of Completely Distributive LatticesRAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301 |
|
|
ON DISCRETE IDEMPOTENT PATHSWords 2019, Sep 2019, Loughborough, United Kingdom. pp.312--325, ⟨10.1007/978-3-030-28796-2_25⟩ |
|
|
Ruitenburg's Theorem via Duality and Bounded BisimulationsAdvances in Modal Logic, Aug 2018, Bern, Switzerland |
|
|
MIX STAR-AUTONOMOUS QUANTALES AND THE CONTINUOUS WEAK ORDERRAMICS 2018, Oct 2018, Groningen, Netherlands. ⟨10.1007/978-3-030-02149-8_12⟩ |
|
|
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⟩ |
|
|
$\aleph_1$ and the Modal $\mu$-Calculus26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden |
|
|
Embeddability into relational lattices is undecidable ⋆RAMICS 2017, May 2017, Lyon, France |
|
|
Relational lattices via dualityCoalgebraic Methods in Computer Science 2016, Apr 2016, Eindhoven, Netherlands |
|
|
Fixed-point elimination in the Intuitionistic Propositional CalculusFOSSACS 2016, Apr 2016, Eindhoven, Netherlands |
|
|
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⟩ |
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⟩ |
|
Cuts for circular proofs: semantics and cut-eliminationComputer Science Logic 2013, Sep 2013, Torino, Italy. pp.248--262, ⟨10.4230/LIPIcs.CSL.2013.248⟩ |
|
Uniform interpolation for monotone modal logicAdvances in Modal Logic, 2010, Moscow, Russia. pp.350--370 |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
Completions of μ-algebras20th IEEE Symposium on Logic in Computer Science, Jun 2005, Chicago, United States. pp.219--228, ⟨10.1109/LICS.2005.11⟩ |
|
|
|
Logical Construction of Final CoalgebrasElectronic Notes in Theoretical Computer Science, 2003, Warsaw, Poland. vol 82, p. 1-20 |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
A calculus of circular proofs and its categorical semanticsFOSSACS 2002, Apr 2002, Grenoble, France. pp.357--371, ⟨10.1007/3-540-45931-6_25⟩ |
|
|
|
Congruences of modal $\mu$-algebrasFixed Points in Computer Science, Zoltan Esik, Anna Ingolfsdottir, Jul 2002, Copenhagen, Denmark. pp.77-81 |
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⟩ |
Generalizations of the permutohedronG. Gratzer; F. Wehrung. Lattice Theory: Special Topics and Applications, Birkhäuser, pp.287--397, 2016 |
|
|
|
Permutohedra and AssociahedraLattice Theory: Special Topics and Applications (Volume 2), Birkhäuser / Springer, pp.215--286, 2016, ⟨10.1007/978-3-319-44236-5⟩ |
|
|
Lifting star-autonomous structures2023 |
|
|
Unitless Frobenius quantales2022 |
|
|
Frobenius structures in star-autonomous categories2022 |
|
|
The continuous weak order2019 |
|
|
Relational Semantics for Distributive Linear Logic2018 |
|
|
A duality for finite lattices2009 |
|
|
µ-Bicomplete Categories and Parity Games[Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002 |
|
|
Structures algébriques en logique et concurrenceCalcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008 |