Sfoglia per Autore SALIBRA, Antonino
Algebra universale e logica in computer science
1982-01-01 V., Manca; Salibra, Antonino
Logica del Primo Ordine
1983-01-01 S., Antonelli; V., Manca; Salibra, Antonino
First-order theories as many-sorted algebras
1984-01-01 V., Manca; Salibra, Antonino
Universal Algebraic Semantics
1986-01-01 Salibra, Antonino
DELTA: a deduction system integrating equational logic and type assignment
1989-01-01 V., Manca; Salibra, Antonino; G., Scollo
On the nature of TELLUS
1989-01-01 Manca, V.; Salibra, Antonino; Scollo, G.
Equational type logic
1990-01-01 V., Manca; Salibra, Antonino; G., Scollo
Equational calculi for many-sorted algebras with empty carrier sets
1990-01-01 V., Manca; Salibra, Antonino
On the power of equational calculus: applications and extensions.
1991-01-01 V., Manca; Salibra, Antonino
A general theory of algebras with quantifiers
1991-01-01 Salibra, Antonino
Introducing equational type logic
1991-01-01 V., Manca; Salibra, Antonino; G., Scollo
On the expressiveness of equational type logic
1992-01-01 V., Manca; Salibra, Antonino; G., Scollo
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
1992-01-01 V., Manca; Salibra, Antonino
Compactness and Lowenheim-Skolem properties in pre-institution categories
1993-01-01 Salibra, Antonino; G., Scollo
A reduction scema by pre-institution transformations
1993-01-01 Salibra, Antonino; G., Scollo
Polyadic algebras over non-classical logics
1993-01-01 D., Pigozzi; Salibra, Antonino
A representation theorem for lambda abstraction algebras
1993-01-01 D., Pigozzi; Salibra, Antonino
A soft stairway to institutions
1993-01-01 Salibra, Antonino; G., Scollo
Introduction to lambda abstraction algebras
1993-01-01 D., Pigozzi; Salibra, Antonino
Dimension-complemented lambda abstraction algebras
1994-01-01 D., Pigozzi; Salibra, Antonino
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile