Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Obsessional experiments for linear logic proof-nets

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

Publication date

January 2001

Abstract

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

Extracted data

Related items

Synthesis and transformation of logic programs using unfold/fold proofs

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica

January 1997

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

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...

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...

Experimental status of the E/#iota# puzzle

Lanaro, A.
Istituto Nazionale di Fisica Nucleare, Rome (Italy). Laboratori Nazionali di= Frascati

January 1996

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

Felici, G.
Truemper, K.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica

January 1997

Published July 1997Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rom...

Proofs and possibility theory

Chemello, Gaetano
Sossai, Claudio (eds.)
Consiglio Nazionale delle Ricerche, Padua (Italy). Istituto di Ingegneria Biomedica

January 2002

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

Proof nets for multiplicative and additive linear logic

Bellin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--161) / BLDSC - B...

Do experiments suggest a hierarchy problem?

Vissani, F.
International Centre for Theoretical Physics, Trieste (Italy)

January 1997

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

Almost ring theory

Gabber, Ofer
Ramero, Lorenzo
International School for Advanced Studies, Trieste (Italy)

January 2000

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

Observability of general linear pairs

Hacibekiroglu, Kara Ayse
Bravo Ayala, Victor
The Abdus Salam International Centre for Theoretical Physics, Trieste (Italy)

January 1998

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

Real analysis, quantitative topology, and geometric complexity

Semmes, Stephen
International School for Advanced Studies, Trieste (Italy)

January 2000

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

Synthesis and transformation of logic programs using UNFOLD/FOLD PROOFS

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica

January 1997

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

Transformations of logic programs with goals as arguments

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica - IASI -

January 2002

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

Logiche per l'integrazione di informazioni incerte

Boldrin, Luca

January 1997

Dottorato di ricerca in matematica computazionale ed informatica matematica. 8. cicloConsiglio Nazio...

Synthesis and transformation of logic programs using unfold/fold proofs

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica

January 1997

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

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...

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...

Experimental status of the E/#iota# puzzle

Lanaro, A.
Istituto Nazionale di Fisica Nucleare, Rome (Italy). Laboratori Nazionali di= Frascati

January 1996

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

Felici, G.
Truemper, K.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica

January 1997

Published July 1997Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rom...

Proofs and possibility theory

Chemello, Gaetano
Sossai, Claudio (eds.)
Consiglio Nazionale delle Ricerche, Padua (Italy). Istituto di Ingegneria Biomedica

January 2002

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

Proof nets for multiplicative and additive linear logic

Bellin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--161) / BLDSC - B...

Do experiments suggest a hierarchy problem?

Vissani, F.
International Centre for Theoretical Physics, Trieste (Italy)

January 1997

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

Almost ring theory

Gabber, Ofer
Ramero, Lorenzo
International School for Advanced Studies, Trieste (Italy)

January 2000

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

Observability of general linear pairs

Hacibekiroglu, Kara Ayse
Bravo Ayala, Victor
The Abdus Salam International Centre for Theoretical Physics, Trieste (Italy)

January 1998

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

Real analysis, quantitative topology, and geometric complexity

Semmes, Stephen
International School for Advanced Studies, Trieste (Italy)

January 2000

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

Synthesis and transformation of logic programs using UNFOLD/FOLD PROOFS

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica

January 1997

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

Transformations of logic programs with goals as arguments

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica - IASI -

January 2002

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

Logiche per l'integrazione di informazioni incerte

Boldrin, Luca

January 1997

Dottorato di ricerca in matematica computazionale ed informatica matematica. 8. cicloConsiglio Nazio...

Synthesis and transformation of logic programs using unfold/fold proofs

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica

January 1997

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

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...