Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 232
Titolo Data di pubblicazione Autori Tipo File Abstract
Lipschitz extensions of convex-valued maps 1-gen-1986 CORTESI, Agostino + 2.1 Articolo su rivista -
DIRECTIONALLY CONTINUOUS-SELECTIONS IN BANACH-SPACES 1-gen-1989 CORTESI, Agostino + 2.1 Articolo su rivista -
PROP REVISITED - PROPOSITIONAL FORMULA AS ABSTRACT DOMAIN FOR GROUNDNESS ANALYSIS 1-gen-1991 CORTESI A.FILE' G. + 4.1 Articolo in Atti di convegno -
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS 1-gen-1991 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Comparison of Abstract Interpretations 1-gen-1992 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Graph properties for normal logic programs 1-gen-1993 CORTESI, Agostino + 2.1 Articolo su rivista -
Combinations of Abstract Domains for Logic Programming 1-gen-1994 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Type Analysis of Prolog Using Type Graphs 1-gen-1994 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Type Analysis of Prolog Using Type Graphs 1-gen-1995 CORTESI, Agostino + 2.1 Articolo su rivista -
Evaluation of the Domain Prop 1-gen-1995 CORTESI, Agostino + 2.1 Articolo su rivista -
Specification-based Automatic Verification of Prolog Programs 1-gen-1996 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Optimal Groundness Analysis Using Propositional Logic 1-gen-1996 CORTESI, Agostino + 2.1 Articolo su rivista -
Automated Verification of Behavioural Properties of Prolog Programs 1-gen-1997 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Automated Behavioural Verification of Prolog Programs 1-gen-1997 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Complementation in abstract interpretation 1-gen-1997 CORTESI, Agostino + 2.1 Articolo su rivista -
The quotient of an abstract interpretation 1-gen-1998 CORTESI, Agostino + 2.1 Articolo su rivista -
Programmare in Modula-3: Introduzione alla programmazione imperativa e a oggetti 1-gen-1998 ORSINI, RenzoCORTESI, Agostino 1.01 Monografia o trattato scientifico -
Automated Verification of Prolog Programs 1-gen-1999 ROSSI, SabinaCORTESI, Agostino + 2.1 Articolo su rivista -
Sharing is optimal 1-gen-1999 CORTESI, Agostino + 2.1 Articolo su rivista -
Static Analysis 1-gen-1999 CORTESI, Agostino + 5.1 Curatela -
Mostrati risultati da 1 a 20 di 232
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