Searching for authors named "Luigi Santocanale" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
μ-Bicomplete Categories and Parity Functors
- …-Bicomplete Categories and Parity Functors Luigi Santocanale Department of Computer Science…
- Add To MetaCart
-
Logical Construction of Final Coalgebras
- …CMCS'03 Preliminary Version Logical Construction of Final Coalgebras Luigi Santocanale 1 La…
- Add To MetaCart
-
A calculus of circular proofs and its categorical semantics
- … Basic Research in Computer Science A Calculus of Circular Proofs and its Categorical Semantics Luigi…
- Cited by 9 (3 self) – Add To MetaCart
-
On the Equational Definition of the Least Prefixed Point
- …-1173 On the Equational Denition of the Least Prexed Point Luigi Santocanale Department of Computer Science University…
- Cited by 2 (0 self) – Add To MetaCart
-
The alternation hierarchy for the theory of µ-lattices
- … FOR THE THEORY OF µ-LATTICES LUIGI SANTOCANALE ABSTRACT. The alternation hierarchy problem asks whether every µ…
- Cited by 2 (2 self) – Add To MetaCart
-
Induction, Coinduction, and Adjoints
- … of Computer Science, University of Calgary robin@(email omitted); Luigi Santocanale 2 LaBRI, Universite…
- Cited by 3 (2 self) – Add To MetaCart
-
Completions of µ-algebras
- …Completions of µ-Algebras Luigi Santocanale LIF-CMI Marseille luigi…
- Cited by 2 (1 self) – Add To MetaCart
-
Undirected graphs of entanglement 2
- …Undirected Graphs of Entanglement 2 Walid Belkhir and Luigi Santocanale Laboratoire d…
- Cited by 1 (1 self) – Add To MetaCart
-
The Theory of μ-Lattices
- …The theory of -lattices Luigi Santocanale BRICS + luigis@(email omitted); The concept of a -algebra…
- Add To MetaCart
-
Congruences of multinomial lattices
- …arXiv:math/0510098v1 [math.CO] 5 Oct 2005 Congruences of Multinomial Lattices Luigi Santocanale…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
