Mots-clés

Identifiants chercheur

  • IdHAL : luigi-santocanale
Nombre de documents

44

Luigi Santocanale, publications


Article dans une revue18 documents

Communication dans un congrès20 documents

  • Luigi Santocanale. Embeddability into relational lattices is undecidable ⋆. RAMICS 2017, May 2017, Lyon, France. Springer, RAMICS 2017. 〈hal-01474822〉
  • Maria Joao Gouveia, Luigi Santocanale. ℵ1 AND THE MODAL μ-CALCULUS. Valentin Goranko and Mads Dam. 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. 82, Leibniz International Proceedings in Informatics (LIPIcs). 〈hal-01503091〉
  • Luigi Santocanale. Relational lattices via duality. Coalgebraic Methods in Computer Science 2016, Apr 2016, Eindhoven, Netherlands. 〈hal-01279408〉
  • Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale. Fixed-point elimination in the Intuitionistic Propositional Calculus. FOSSACS 2016, Apr 2016, Eindhoven, Netherlands. 〈http://www.etaps.org/index.php/2016/fossacs〉. 〈hal-01249822〉
  • Sabine Frittella, Luigi Santocanale. Fixed-Point Theory in the Varieties Dn. Relational and Algebraic Methods in Computer Science. RAMICS 2014, Apr 2014, Marienstatt im Westerwald, Germany. 2014, 〈http://mathcs.chapman.edu/ramics2014/〉. 〈10.1007/978-3-319-06251-8_27〉. 〈hal-01509386〉
  • Sabine Frittella, Luigi Santocanale. Fixed-point theory in the varieties D_n. RAMICS, Apr 2014, Marienstatt im Westerwald, Germany. Springer, RAMICS, vol. 8428 of Lecture Notes in Computer Science, Springer, 2014, pp. 446--462, 8428, pp.446--462, Lecture Notes in Computer Science. 〈http://mathcs.chapman.edu/ramics2014/〉. 〈10.1007/978-3-319-06251-8_27〉. 〈hal-01260836〉
  • Luigi Santocanale, Jérôme Fortier. Cuts for circular proofs: semantics and cut-elimination. Computer Science Logic 2013, Sep 2013, Torino, Italy. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 23, pp.248--262, LIPIcs. 〈http://csl13.di.unito.it/〉. 〈10.4230/LIPIcs.CSL.2013.248〉. 〈hal-01260986〉
  • Luigi Santocanale, Yde Venema. Uniform interpolation for monotone modal logic. L. Beklemishev, V. Goranko, V. Shehtman. Advances in Modal Logic, 2010, Moscow, Russia. College Publications, 8, pp.350--370, 2010, Advances in Modal Logic. 〈hal-01281238〉
  • Luigi Santocanale, Robin Cockett. On the word problem for SP-categories, and the properties of two-way communication. CSL 2009, Sep 2009, Coimbra, Portugal. pp.194-208, 2009, 〈10.1007/978-3-642-04027-6_16〉. 〈hal-00374654〉
  • Walid Belkhir, Luigi Santocanale. Undirected Graphs of Entanglement Two. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Dec 2007, India. 〈10.1007/978-3-540-77050-3_42〉. 〈hal-00144355v2〉
  • Luigi Santocanale, Yde Venema. Y. Venema, L. Santocanale, Completeness for flat modal fixpoint logics,. N. Dershowitz, A. Voronkov. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. Springer, Lecture Notes in Artificial Intelligence, 4790, pp.499--513, 2007, LPAR 2007. 〈10.1007/978-3-540-75560-9_36〉. 〈hal-01290705〉
  • Luigi Santocanale. A Nice Labelling for Tree-Like Event Structures of Degree 3. L. Caires and V.T. Vasconcelos. CONCUR 2007, Sep 2007, Lisbon, Portugal. Springer-Verlag, 4703, pp.151-165, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74407-8_11〉. 〈hal-00142349〉
  • Luigi Santocanale. Topological properties of event structures. GETCO 2006, Geometrical and Topological Methods in Concurrency, Aug 2006, Bonn, Germany. 230, pp.149-160, 2009, 〈10.1016/j.entcs.2009.02.023〉. 〈hal-00432038〉
  • Luigi Santocanale. Completions of μ-algebras. 20th IEEE Symposium on Logic in Computer Science, Jun 2005, Chicago, United States. IEEE Computer Society, pp.219--228, 〈10.1109/LICS.2005.11〉. 〈hal-01288855〉
  • Luigi Santocanale, André Arnold. Ambiguous classes in the games μ-calculus hierarchy. A. D. Gordon. 6th International Conference on Foundations of Software Science and Computation Structures, Apr 2003, Warsaw, Poland. Lecture Notes in Computer Science, 2620, pp.70--86, 2003, FOSSACS 2003. 〈10.1007/3-540-36576-1_5〉. 〈hal-01288878〉
  • Luigi Santocanale, Silvio Ghilardi. Algebraic and model theoretic techniques for fusion decidability in modal logics. M. Y. Vardi, A. Voronkov. 10th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Sep 2003, Almaty, Kazakhstan. Springer, Lecture Notes in Artificial Intelligence, 2850, pp.152--166, LPAR 2003, Lecture Notes in Artificial Intelligence,. 〈10.1007/b13986〉. 〈hal-01281233〉
  • Luigi Santocanale. Logical Construction of Final Coalgebras. H. Peter Gumm. Electronic Notes in Theoretical Computer Science, 2003, Warsaw, Poland. Elsevier, vol 82, p. 1-20, 2003, Proceedings of the workshop Coalgebraic Methods in Computer Science, April 2003. 〈hal-00111230〉
  • Luigi Santocanale. A calculus of circular proofs and its categorical semantics. FOSSACS 2002, Apr 2002, Grenoble, France. Springer, Lecture Notes in Computer Science, 2303, pp.357--371, 2002, FOSSACS 2002, proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures. 〈10.1007/3-540-45931-6_25〉. 〈hal-01261170〉
  • Luigi Santocanale. From parity games to circular proofs. CMCS'2002, Coalgebraic Methods in Computer Science., Apr 2002, Grenoble, France. Elsevier Science Publishers, 65, pp.1--12, Electronic Notes in Theoretical Computer Science. 〈10.1016/S1571-0661(04)80370-0〉. 〈hal-01261240〉
  • Luigi Santocanale. On the equational definition of the least prefixed point. Mathematical Foundations of Computer Science 2001, Aug 2001, Marianske Lazne, Czech Republic. Springer, Lecture Notes in Computer Science,, 2136 (645--656), 2001, MFCS 2001. Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science 2001, Marianske Lazne, Czech Republic,. 〈10.1007/3-540-44683-4_56〉. 〈hal-01261158〉

Pré-publication, Document de travail4 documents

  • Luigi Santocanale. The equational theory of the natural join and inner union is decidable. 2017. 〈hal-01625134〉
  • Luigi Santocanale. The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable). 2016. 〈hal-01344299v3〉
  • Luigi Santocanale, Friedrich Wehrung. The equational theory of the weak order on finite symmetric groups. 41 pages. A few bugs in the proofs of version 1 are corrected in version 2. 2014. 〈hal-00986148v2〉
  • Luigi Santocanale. A duality for finite lattices. 2009. 〈hal-00432113〉

Rapport1 document

  • Luigi Santocanale. µ-Bicomplete Categories and Parity Games. [Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002. 〈hal-01376731〉

HDR1 document

  • Luigi Santocanale. Structures algébriques en logique et concurrence. Calcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008. 〈tel-00369583〉