Santocanale, Luigi
VIAF ID: 218510166 ( Personal )
Permalink: http://viaf.org/viaf/218510166
Preferred Forms
-
- 100 1 _ ‡a Santocanale, Luigi
Works
Title | Sources |
---|---|
Algebra and combinatorics of parity games. | |
Algebraic and topological models of directed systems : Exploring dimensions of calculation via algebraic, categorical, and homotopical approaches | |
Algèbre et combinatoire des jeux de parité | |
Expressive power of circular proofs. | |
Free μ-lattices | |
From automata to cyclic proofs : equivalence algorithms and descriptive complexity | |
Graphical games and proof theory. | |
Logiques modales non-normales : sémantiques de voisinage et leurs calculs. | |
Modèles algébriques et topologiques des systèmes dirigées : Une étude des dimensions du calcul par des méthodes algébriques, catégoriques et homotopiques. | |
Monotone Modal Logic and Friends | |
Non-déterminisme, automates explorables et preuves cycliques. | |
Non-normal modal logics : neighbourhood semantics and their calculi | |
On the proof theory of conditional logics | |
Le problème de la valeur dans les jeux stochastiques | |
Puissance expressive des preuves circulaires | |
Réécriture des diagrammes : applications à la théorie des catégories et à la théorie de la démonstration. | |
Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings | |
String diagram rewriting : applications in category and proof theory | |
The ¤alternation hierarchy for the theory of μ-lattices | |
A ¤calculus of circular proofs and its categorical semantics |