Additives of linear logic and normalization. Part I: a (restricted) Church Rosser property

Un logical framework lineare

Cervesato, Iliano

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Supervisore F. Pfenning. Revisori A. Martelli, S. Ron...

On a theorem of Severi

Russo, F.
Milan Univ. (Italy). Dipartimento di Matematica 'F. Enriques'

January 1997

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Comportamento di laminati in materiale composito in campo non lineare

Meili, Silvia

January 1996

Dottorato di ricerca in progettazione meccanica. 8. ciclo.Consiglio Nazionale delle Ricerche - Bibli...

Additives of linear logic and normalization. Part II: the additive standardization theorem

Tortora de Falco, L.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Slicing polarized additive normalization

Laurent, O.
Tortora de Falco, L.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Constraining objects as logic theories

Omicini, A.
Bologna Univ. (Italy). Dipartimento di Elettronica Informatica e Sistemistica

January 1995

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Sulla decomposizione delle forme quadratiche di variabili normali in componenti sferiche

Pederzoli, G.
Libero Istituto Universitaro 'Carlo Cattaneo', Castellanza (Italy)

January 1997

Consiglio Nazionale delle Ricerche - Biblioteca Centrale -. P.le Aldo Moro, 7, Rome / CNR - Consigli...

Adjoint linear systems on normal log surfaces

Langer, Adrian
International Centre for Theoretical Physics, Trieste (Italy)

January 1999

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Adjoint linear systems on normal Log surfaces

Langer, Adrian
International Centre for Theoretical Physics, Trieste (Italy)

January 1999

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Metodo di misura della linearita' del movimento di sistemi di posizionamento lineari

Terzi, M.
Istituto Elettrotecnico Nazionale 'Galileo Ferraris', Turin (Italy)

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Special algebraic structures

Smarandache, Florentin
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

A subadditivity property of multiplier ideals

Demailly, Jean-Pierre
Ein, Lawrence
Lazarsfeld, Robert
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Basic logic and the curbe of ist extensions

Battilotti, G.
Sambin, G
Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A note on the estimation of normalization constants

Jona Lasinio, G.
Piccioni, M.
Ramponi, A
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo "Mauro Picone"

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Canonical bases and Piecewise-linear combinatorics

Carter, Roger
Marsh, Robert
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Un logical framework lineare

Cervesato, Iliano

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Supervisore F. Pfenning. Revisori A. Martelli, S. Ron...

On a theorem of Severi

Russo, F.
Milan Univ. (Italy). Dipartimento di Matematica 'F. Enriques'

January 1997

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Comportamento di laminati in materiale composito in campo non lineare

Meili, Silvia

January 1996

Dottorato di ricerca in progettazione meccanica. 8. ciclo.Consiglio Nazionale delle Ricerche - Bibli...

Additives of linear logic and normalization. Part II: the additive standardization theorem

Tortora de Falco, L.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Slicing polarized additive normalization

Laurent, O.
Tortora de Falco, L.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Constraining objects as logic theories

Omicini, A.
Bologna Univ. (Italy). Dipartimento di Elettronica Informatica e Sistemistica

January 1995

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Sulla decomposizione delle forme quadratiche di variabili normali in componenti sferiche

Pederzoli, G.
Libero Istituto Universitaro 'Carlo Cattaneo', Castellanza (Italy)

January 1997

Consiglio Nazionale delle Ricerche - Biblioteca Centrale -. P.le Aldo Moro, 7, Rome / CNR - Consigli...

Adjoint linear systems on normal log surfaces

Langer, Adrian
International Centre for Theoretical Physics, Trieste (Italy)

January 1999

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Adjoint linear systems on normal Log surfaces

Langer, Adrian
International Centre for Theoretical Physics, Trieste (Italy)

January 1999

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Metodo di misura della linearita' del movimento di sistemi di posizionamento lineari

Terzi, M.
Istituto Elettrotecnico Nazionale 'Galileo Ferraris', Turin (Italy)

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Special algebraic structures

Smarandache, Florentin
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

A subadditivity property of multiplier ideals

Demailly, Jean-Pierre
Ein, Lawrence
Lazarsfeld, Robert
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Basic logic and the curbe of ist extensions

Battilotti, G.
Sambin, G
Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A note on the estimation of normalization constants

Jona Lasinio, G.
Piccioni, M.
Ramponi, A
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo "Mauro Picone"

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Canonical bases and Piecewise-linear combinatorics

Carter, Roger
Marsh, Robert
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Un logical framework lineare

Cervesato, Iliano

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Supervisore F. Pfenning. Revisori A. Martelli, S. Ron...

On a theorem of Severi

Russo, F.
Milan Univ. (Italy). Dipartimento di Matematica 'F. Enriques'

January 1997

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Comportamento di laminati in materiale composito in campo non lineare

Meili, Silvia

January 1996

Dottorato di ricerca in progettazione meccanica. 8. ciclo.Consiglio Nazionale delle Ricerche - Bibli...

Additives of linear logic and normalization. Part I: a (restricted) Church Rosser property

Abstract

Extracted data

Additives of linear logic and normalization. Part I: a (restricted) Church Rosser property

Abstract

Extracted data

Related items

Related items