default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuigi Santocanale
Person information
- affiliation: Aix-Marseille University, France
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c35]Cameron Calk, Luigi Santocanale
:
Complete Congruences of Completely Distributive Lattices. RAMiCS 2024: 101-118- [c34]Cédric de Lacroix, Gregory Chichery, Luigi Santocanale:
Lifting Star-Autonomy. RAMiCS 2024: 242-260 - 2023
- [j18]Cédric de Lacroix, Luigi Santocanale:
Unitless Frobenius Quantales. Appl. Categorical Struct. 31(1): 5 (2023) - [c33]Cédric de Lacroix, Luigi Santocanale:
Frobenius Structures in Star-Autonomous Categories. CSL 2023: 18:1-18:20 - [e3]Roland Glück, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Lecture Notes in Computer Science 13896, Springer 2023, ISBN 978-3-031-28082-5 [contents] - [i24]Luigi Santocanale, Cédric de Lacroix, Gregory Chichery:
Lifting star-autonomous structures. CoRR abs/2309.10422 (2023) - 2022
- [i23]Cédric de Lacroix, Luigi Santocanale:
Unitless Frobenius quantales. CoRR abs/2205.04111 (2022) - [i22]Luigi Santocanale, Cédric de Lacroix:
Frobenius structures in star-autonomous categories. CoRR abs/2207.13912 (2022) - 2021
- [c32]Luigi Santocanale:
Skew Metrics Valued in Sugihara Semigroups. RAMiCS 2021: 396-412 - [e2]Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. Lecture Notes in Computer Science 13027, Springer 2021, ISBN 978-3-030-88700-1 [contents] - [i21]Luigi Santocanale:
Bijective proofs for Eulerian numbers in types B and D. CoRR abs/2104.12445 (2021) - 2020
- [j17]Silvio Ghilardi, Luigi Santocanale:
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. Math. Struct. Comput. Sci. 30(6): 572-596 (2020) - [j16]Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point Elimination in the Intuitionistic Propositional Calculus. ACM Trans. Comput. Log. 21(1): 4:1-4:37 (2020) - [c31]Luigi Santocanale:
The Involutive Quantaloid of Completely Distributive Lattices. RAMiCS 2020: 286-301 - [c30]Luigi Santocanale:
Bijective proofs for Eulerian numbers in types B and D. ALGOS 2020: 63-75 - [c29]Luigi Santocanale:
Dualizing sup-preserving endomaps of a complete lattice. ACT 2020: 335-346
2010 – 2019
- 2019
- [j15]Maria João Gouveia, Luigi Santocanale:
ℵ1 and the modal μ-calculus. Log. Methods Comput. Sci. 15(4) (2019) - [c28]Luigi Santocanale:
On Discrete Idempotent Paths. WORDS 2019: 312-325 - [i20]Silvio Ghilardi, Luigi Santocanale:
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond. CoRR abs/1901.01252 (2019) - [i19]Luigi Santocanale:
On discrete idempotent paths. CoRR abs/1906.05590 (2019) - [i18]Luigi Santocanale:
The Involutive Quantaloid of Completely Distributive Lattices. CoRR abs/1911.01085 (2019) - 2018
- [j14]Luigi Santocanale:
Embeddability into relational lattices is undecidable. J. Log. Algebraic Methods Program. 97: 131-148 (2018) - [c27]Maria João Gouveia, Luigi Santocanale:
MIX \star -Autonomous Quantales and the Continuous Weak Order. RAMiCS 2018: 184-201 - [c26]Silvio Ghilardi, Luigi Santocanale:
Ruitenburg's Theorem via Duality and Bounded Bisimulations. Advances in Modal Logic 2018: 277-290 - [c25]Luigi Santocanale:
The Equational Theory of the Natural Join and Inner Union is Decidable. FoSSaCS 2018: 494-510 - [i17]Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). CoRR abs/1803.01552 (2018) - [i16]Luigi Santocanale, Silvio Ghilardi:
Ruitenburg's Theorem via Duality and Bounded Bisimulations. CoRR abs/1804.06130 (2018) - [i15]Maria João Gouveia, Luigi Santocanale:
Mix ⋆-autonomous quantales and the continuous weak order. CoRR abs/1807.06862 (2018) - [i14]Maria João Gouveia, Luigi Santocanale:
The continuous weak order. CoRR abs/1812.02329 (2018) - 2017
- [j13]Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale:
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. 27(3): 639-678 (2017) - [c24]Luigi Santocanale:
Embeddability into Relational Lattices Is Undecidable. RAMiCS 2017: 258-273 - [c23]Maria João Gouveia, Luigi Santocanale:
Aleph1 and the Modal mu-Calculus. CSL 2017: 38:1-38:16 - [i13]Maria João Gouveia, Luigi Santocanale:
א1 and the Modal μ-Calculus. CoRR abs/1704.03772 (2017) - [i12]Luigi Santocanale:
The equational theory of the natural join and inner union is decidable. CoRR abs/1710.11500 (2017) - 2016
- [c22]Luigi Santocanale:
Relational Lattices via Duality. CMCS 2016: 195-215 - [c21]Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. FoSSaCS 2016: 126-141 - [i11]Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point elimination in the intuitionistic propositional calculus. CoRR abs/1601.00402 (2016) - [i10]Luigi Santocanale:
Relational lattices via duality. CoRR abs/1602.08349 (2016) - [i9]Luigi Santocanale:
The Quasiequational theory of relational lattices, in the pure latice theory. CoRR abs/1607.02988 (2016) - [i8]Luigi Santocanale:
μ-Bicomplete Categories and Parity Games. CoRR abs/1610.06393 (2016) - 2014
- [j12]Luigi Santocanale, Friedrich Wehrung:
The extended permutohedron on a transitive binary relation. Eur. J. Comb. 42: 179-206 (2014) - [j11]Luigi Santocanale, Friedrich Wehrung:
Lattices of regular closed subsets of closure spaces. Int. J. Algebra Comput. 24(7): 969-1030 (2014) - [c20]Sabine Frittella, Luigi Santocanale:
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. RAMiCS 2014: 446-462 - [i7]Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale:
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR abs/1408.1843 (2014) - 2013
- [j10]Luigi Santocanale, Friedrich Wehrung:
Sublattices of associahedra and permutohedra. Adv. Appl. Math. 51(3): 419-445 (2013) - [j9]Luigi Santocanale, Friedrich Wehrung:
Varieties of Lattices with Geometric Descriptions. Order 30(1): 13-38 (2013) - [c19]Jérôme Fortier, Luigi Santocanale:
Cuts for circular proofs: semantics and cut-elimination. CSL 2013: 248-262 - [c18]Jérôme Fortier, Luigi Santocanale:
Cuts for circular proofs. TACL 2013: 72-75 - 2010
- [j8]Walid Belkhir, Luigi Santocanale:
The variable hierarchy for the games µ-calculus. Ann. Pure Appl. Log. 161(5): 690-707 (2010) - [j7]Luigi Santocanale, Yde Venema:
Completeness for flat modal fixpoint logics. Ann. Pure Appl. Log. 162(1): 55-82 (2010) - [j6]Luigi Santocanale:
A nice labelling for tree-like event structures of degree 3. Inf. Comput. 208(6): 652-665 (2010) - [c17]Luigi Santocanale, Yde Venema:
Uniform Interpolation for Monotone Modal Logic. Advances in Modal Logic 2010: 350-370 - [e1]Luigi Santocanale:
7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. Laboratoire d'Informatique Fondamentale de Marseille 2010 [contents]
2000 – 2009
- 2009
- [c16]J. Robin B. Cockett, Luigi Santocanale:
On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. CSL 2009: 194-208 - [i6]Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version). CoRR abs/0903.3462 (2009) - [i5]Luigi Santocanale, J. Robin B. Cockett:
On the word problem for SP-categories, and the properties of two-way communication. CoRR abs/0904.1529 (2009) - 2008
- [b1]Luigi Santocanale:
Structures algébriques en logique et concurrence. University of Provence, France, 2008 - [j5]Luigi Santocanale:
Completions of µ-algebras. Ann. Pure Appl. Log. 154(1): 27-50 (2008) - [c15]Walid Belkhir, Luigi Santocanale:
The Variable Hierarchy for the Lattice µ-Calculus. LPAR 2008: 605-620 - [i4]Luigi Santocanale, Yde Venema:
Completeness for Flat Modal Fixpoint Logics. CoRR abs/0812.2390 (2008) - 2007
- [j4]Luigi Santocanale:
On the Join Dependency Relation in Multinomial Lattices. Order 24(3): 155-179 (2007) - [c14]Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3. CONCUR 2007: 151-165 - [c13]Walid Belkhir, Luigi Santocanale:
Undirected Graphs of Entanglement 2. FSTTCS 2007: 508-519 - [c12]Luigi Santocanale, Yde Venema:
Completeness for Flat Modal Fixpoint Logics. LPAR 2007: 499-513 - [i3]Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3. CoRR abs/0704.2355 (2007) - [i2]Walid Belkhir, Luigi Santocanale:
Undirected Graphs of Entanglement Two. CoRR abs/0705.0419 (2007) - [i1]Walid Belkhir, Luigi Santocanale:
The Variable Hierarchy for the Games mu-Calculus. CoRR abs/0710.2419 (2007) - 2006
- [c11]Luigi Santocanale:
Topological Properties of Event Structures. GETCO 2006: 149-160 - 2005
- [j3]Luigi Santocanale, André Arnold:
Ambiguous classes in mu-calculi hierarchies. Theor. Comput. Sci. 333(1-2): 265-296 (2005) - [c10]Luigi Santocanale:
Completions of µ-algebras. LICS 2005: 219-228 - 2003
- [j2]Luigi Santocanale:
On the equational definition of the least prefixed point. Theor. Comput. Sci. 295: 341-370 (2003) - [c9]André Arnold, Luigi Santocanale:
On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. FICS 2003: 4-13 - [c8]André Arnold, Luigi Santocanale:
Ambiguous Classes in the Games µ-Calculus Hierarchy. FoSSaCS 2003: 70-86 - [c7]Silvio Ghilardi, Luigi Santocanale:
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. LPAR 2003: 152-166 - [c6]Luigi Santocanale:
Logical Construction of Final Coalgebras. CMCS 2003: 321-340 - 2002
- [j1]Luigi Santocanale:
µ-Bicomplete Categories and Parity Games. RAIRO Theor. Informatics Appl. 36(2): 195-227 (2002) - [c5]Luigi Santocanale:
Congruences of modal µ-algebras. FICS 2002: 77-81 - [c4]Luigi Santocanale:
A Calculus of Circular Proofs and Its Categorical Semantics. FoSSaCS 2002: 357-371 - [c3]J. Robin B. Cockett, Luigi Santocanale:
Induction, Coinduction, and Adjoints. CTCS 2002: 101-119 - [c2]Luigi Santocanale:
From Parity Games to Circular Proofs. CMCS 2002: 305-316 - 2001
- [c1]Luigi Santocanale:
On the Equational Definition of the Least Prefixed Point. MFCS 2001: 645-656
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
