VIAF

Virtual International Authority File

Search

Santocanale, Luigi Sudoc [ABES], France DBC (Danish Bibliographic Center)

VIAF ID: 218510166 (Personal)

Permalink: http://viaf.org/viaf/218510166

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Algebra and combinatorics of parity games. Sudoc [ABES], France
Algèbre et combinatoire des jeux de parité Sudoc [ABES], France
Expressive power of circular proofs. Sudoc [ABES], France
Free μ-lattices DBC (Danish Bibliographic Center)
Graphical games and proof theory. Sudoc [ABES], France
Monotone Modal Logic and Friends Sudoc [ABES], France
Le problème de la valeur dans les jeux stochastiques Sudoc [ABES], France
Puissance expressive des preuves circulaires Sudoc [ABES], France
Réécriture des diagrammes : applications à la théorie des catégories et à la théorie de la démonstration. Sudoc [ABES], France
String diagram rewriting : applications in category and proof theory Sudoc [ABES], France
The ¤alternation hierarchy for the theory of μ-lattices DBC (Danish Bibliographic Center)
A ¤calculus of circular proofs and its categorical semantics DBC (Danish Bibliographic Center)

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (1)

Open Section Close Section Publication Statistics

Open Section Close Section About

Open Section Close Section History of VIAF ID:218510166 (2)