Naviga IRIS

Sfoglia per Autore

Opzioni

Ordina per:

In ordine:

Risultati/Pagina

Vai a una voce nell'indice:

O digita l'anno:

Mostrati risultati da 1 a 20 di 29

esporta metadati
- RIS
- EndNote
- BibTeX
- Excel
- CSV
- RefWorks

A Mechanism for Exception Handlingand its Verification Rules

1982-01-01 Cocco, Nicoletta; S., Dulli

A Divide-and-conquer Approach to General Context-free Parsing

1983-01-01 A., Bossi; Cocco, Nicoletta; L., Colussi

The Ada Task System and Real-Time Applications:an Implementation Schema

1985-01-01 Cocco, Nicoletta; Mandrioli, D.; Milanese, V.

A Method for Specializing Logic Programs

1990-01-01 Bossi, A.; Cocco, Nicoletta; Dulli, S.

Proving Termination of Logic Programs by Exploiting Term Properties

1991-01-01 A., Bossi; Cocco, Nicoletta; M., Fabris

Transforming Normal Programs by Replacement

1992-01-01 A., Bossi; Cocco, Nicoletta; S., Etalle

On Safe Folding

1992-01-01 A., Bossi; Cocco, Nicoletta; S., Etalle

Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs

1993-01-01 Bossi, Annalisa; Cocco, Nicoletta

Norms on Terms and their use in Proving Universal Termination of a Logic Program

1994-01-01 Bossi, Annalisa; Cocco, Nicoletta; M., Fabris

Preserving Universal Termination through Unfold/Fold

1994-01-01 A., Bossi; Cocco, Nicoletta

Simultaneous Replacement in Normal Programs

1996-01-01 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle

Programs Without Failures

1998-01-01 A., Bossi; Cocco, Nicoletta

Termination of Well-Moded Programs

1999-01-01 Etalle, S; Bossi, Annalisa; Cocco, Nicoletta

Successes in Logic Programs

1999-01-01 Bossi, A; Cocco, Nicoletta

Transformation of left terminating programs

2000-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S.

Termination of Well-Typed Logic Programs

2001-01-01 Bossi, Annalisa; Cocco, Nicoletta; Rossi, Sabina

Transformation Systems and Nondeclarative Properties

2002-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S.

On Modular Termination Proofs of General Logic Programs

2002-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S; Rossi, Sabina

Declarative Semantics of Input Consuming Logic Programs

2004-01-01 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle; Rossi, Sabina

Petri nets for modelling metabolic pathways: a survey

2010-01-01 Baldan, P.; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta

Titolo	Data di pubblicazione	Autori	Tipo	Abstract
A Mechanism for Exception Handlingand its Verification Rules	1-gen-1982	COCCO, NicolettaS. DULLI + -	2.1 Articolo su rivista	-
A Divide-and-conquer Approach to General Context-free Parsing	1-gen-1983	A. BOSSICOCCO, NicolettaL. COLUSSI + -	2.1 Articolo su rivista	-
The Ada Task System and Real-Time Applications:an Implementation Schema	1-gen-1985	COCCO, NicolettaMANDRIOLI D.MILANESE V. + -	2.1 Articolo su rivista	-
A Method for Specializing Logic Programs	1-gen-1990	BOSSI A.COCCO, NicolettaDULLI S. + -	2.1 Articolo su rivista	-
Proving Termination of Logic Programs by Exploiting Term Properties	1-gen-1991	A. BOSSICOCCO, NicolettaM. FABRIS + -	4.1 Articolo in Atti di convegno	-
Transforming Normal Programs by Replacement	1-gen-1992	A. BOSSICOCCO, NicolettaS. ETALLE + -	4.1 Articolo in Atti di convegno	-
On Safe Folding	1-gen-1992	A. BOSSICOCCO, NicolettaS. ETALLE + -	4.1 Articolo in Atti di convegno	-
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs	1-gen-1993	BOSSI, AnnalisaCOCCO, Nicoletta	2.1 Articolo su rivista	-
Norms on Terms and their use in Proving Universal Termination of a Logic Program	1-gen-1994	BOSSI, AnnalisaCOCCO, NicolettaM. FABRIS + -	2.1 Articolo su rivista	-
Preserving Universal Termination through Unfold/Fold	1-gen-1994	A. BOSSICOCCO, Nicoletta + -	4.1 Articolo in Atti di convegno	-
Simultaneous Replacement in Normal Programs	1-gen-1996	BOSSI, AnnalisaCOCCO, NicolettaS. ETALLE + -	2.1 Articolo su rivista	-
Programs Without Failures	1-gen-1998	A. BOSSICOCCO, Nicoletta + -	4.1 Articolo in Atti di convegno	-
Termination of Well-Moded Programs	1-gen-1999	ETALLE SBOSSI, AnnalisaCOCCO, Nicoletta + -	2.1 Articolo su rivista	-
Successes in Logic Programs	1-gen-1999	BOSSI ACOCCO, Nicoletta + -	4.1 Articolo in Atti di convegno	-
Transformation of left terminating programs	1-gen-2000	BOSSI, AnnalisaCOCCO, NicolettaETALLE S. + -	2.1 Articolo su rivista	-
Termination of Well-Typed Logic Programs	1-gen-2001	BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina	4.1 Articolo in Atti di convegno	-
Transformation Systems and Nondeclarative Properties	1-gen-2002	BOSSI, AnnalisaCOCCO, NicolettaETALLE S. + -	3.1 Articolo su libro	-
On Modular Termination Proofs of General Logic Programs	1-gen-2002	BOSSI, AnnalisaCOCCO, NicolettaETALLE SROSSI, Sabina + -	2.1 Articolo su rivista	-
Declarative Semantics of Input Consuming Logic Programs	1-gen-2004	BOSSI, AnnalisaCOCCO, NicolettaS. ETALLEROSSI, Sabina + -	3.1 Articolo su libro	-
Petri nets for modelling metabolic pathways: a survey	1-gen-2010	Baldan P.COCCO, NicolettaMARIN, AndreaSIMEONI, Marta + -	2.1 Articolo su rivista	-

Mostrati risultati da 1 a 20 di 29

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