CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 195
Titolo Data di pubblicazione Autore(i) File
Equational Calculi for algebras with empty carrier sets 1-gen-1990 Manca, Vincenzo; Salibra, A.
Results and research topics in equational type logic 1-gen-1990 Manca, Vincenzo; Salibra, A.; Scollo, G.
Equational Type logic 1-gen-1990 Manca, Vincenzo; A., Salibra; Scollo, Giuseppe
Introducing equational type logic 1-gen-1991 Manca, Vincenzo; A., Salibra; Scollo, Giuseppe
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 1-gen-1992 Manca, Vincenzo; Salibra, A.
On the expresiveness of equational type logic 1-gen-1992 Manca, Vincenzo; Salibra, A.; Scollo, Giuseppe
Typology and logical structure of natural languages 1-gen-1993 Manca, Vincenzo
Un formalismo logico per la rappresentazione intergrammaticale 1-gen-1994 Manca, Vincenzo
A logical formalism for intergrammatical representations 1-gen-1995 Manca, Vincenzo
A logical formalism for intergrammatical representations 1-gen-1995 Manca, Vincenzo
Teoria degli algoritmi 1-gen-1995 Manca, Vincenzo
A metagrammatical logical formalism 1-gen-1996 Manca, Vincenzo
Thom's Logoi in Metagrammatical Representations 1-gen-1996 Manca, Vincenzo
Metagrammatical Representations 1-gen-1997 Manca, Vincenzo
A Metagrammatical Logical Formalism 1-gen-1998 Manca, Vincenzo
Logical Splicing 1-gen-1998 Manca, Vincenzo
String Rewriting and Metabolism: A logical perspective 1-gen-1998 Manca, Vincenzo
Logical string rewriting and molecular computing 1-gen-1998 Manca, Vincenzo
Arithmetically Controlled H Systems 1-gen-1998 Manca, Vincenzo; Paun, G.
New Computing Paradigms Suggested by DNA Computing: Computing by Carving 1-gen-1999 Manca, Vincenzo; MARTIN VIDE, C.; Paun, G.
Mostrati risultati da 21 a 40 di 195
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