Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 67
Titolo Data di pubblicazione Autori Tipo File Abstract
Algebra universale e logica in computer science 1-gen-1982 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Logica del Primo Ordine 1-gen-1983 SALIBRA, Antonino + 1.01 Monografia o trattato scientifico -
First-order theories as many-sorted algebras 1-gen-1984 SALIBRA, Antonino + 2.1 Articolo su rivista -
Universal Algebraic Semantics 1-gen-1986 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
DELTA: a deduction system integrating equational logic and type assignment 1-gen-1989 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
On the nature of TELLUS 1-gen-1989 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Equational calculi for many-sorted algebras with empty carrier sets 1-gen-1990 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Equational type logic 1-gen-1990 SALIBRA, Antonino + 2.1 Articolo su rivista -
Introducing equational type logic 1-gen-1991 SALIBRA, Antonino + 2.5 Abstract in Rivista -
A general theory of algebras with quantifiers 1-gen-1991 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
On the power of equational calculus: applications and extensions. 1-gen-1991 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
On the expressiveness of equational type logic 1-gen-1992 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 1-gen-1992 SALIBRA, Antonino + 2.1 Articolo su rivista -
Polyadic algebras over non-classical logics 1-gen-1993 SALIBRA, Antonino + 3.1 Articolo su libro -
A reduction scema by pre-institution transformations 1-gen-1993 SALIBRA, Antonino + 2.5 Abstract in Rivista -
Compactness and Lowenheim-Skolem properties in pre-institution categories 1-gen-1993 SALIBRA, Antonino + 3.1 Articolo su libro -
A representation theorem for lambda abstraction algebras 1-gen-1993 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
A soft stairway to institutions 1-gen-1993 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Introduction to lambda abstraction algebras 1-gen-1993 SALIBRA, Antonino + 2.1 Articolo su rivista -
Dimension-complemented lambda abstraction algebras 1-gen-1994 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 1 a 20 di 67
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