( en | de | ru )

 

Disambiguation of "Santocanale, Luigi"

Author of the publication

copydeleteadd this publication to your clipboard
Ambiguous Classes in the Games µ-Calculus Hierarchy.

, and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 70-86. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luigi Sportelli

Luigi Busarello

Luigi Nardi

Luigi Monni

Luigi Poisson

 

Other publications of authors with the same name

Bijective proofs for Eulerian numbers in types B and D.. ALGOS, volume 2925 of CEUR Workshop Proceedings, page 63-75. CEUR-WS.org, (2020)The Equational Theory of the Natural Join and Inner Union is Decidable.. FoSSaCS, volume 10803 of Lecture Notes in Computer Science, page 494-510. Springer, (2018)Varieties of Lattices with Geometric Descriptions., and . Order, 30 (1): 13-38 (2013)On Discrete Idempotent Paths.. WORDS, volume 11682 of Lecture Notes in Computer Science, page 312-325. Springer, (2019)Ambiguous Classes in the Games µ-Calculus Hierarchy., and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 70-86. Springer, (2003)Aleph1 and the Modal mu-Calculus., and . CSL, volume 82 of LIPIcs, page 38:1-38:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)The Involutive Quantaloid of Completely Distributive Lattices.. RAMiCS, volume 12062 of Lecture Notes in Computer Science, page 286-301. Springer, (2020)A Nice Labelling for Tree-Like Event Structures of Degree 3.. CONCUR, volume 4703 of Lecture Notes in Computer Science, page 151-165. Springer, (2007)Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics., and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 152-166. Springer, (2003)Fixed-Point Elimination in the Intuitionistic Propositional Calculus., , and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 126-141. Springer, (2016)