Transformations of logic programs with goals as arguments

A general framework for multi-theory logic languages

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

January 1997

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

Linguaggi logici a vincoli su domini finiti: semantica e metodi di trattamento dei vincoli

Nardiello, Giuseppe

January 1996

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

Teoria computabile degli insiemi e programmazione logica

Dovier, Agostino

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore A. PolicritiConsiglio Nazionale delle Ricerc...

Transformation rules for a higher order logic programming language

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

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

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

Combining logic programs and monadic second order logics by program transformation

Fioravanti, F.
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...

The well-founded semantics of logic programs over bilattices: an alternative characterisation

Loyer, Yann
Straccia, Umberto
Consiglio Nazionale delle Ricerche, Pisa (Italy). Istituto di Scienza e Tecnologie della Informazione 'Alessandro Faedo'

January 2003

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

Transformation strategies for deriving on line programs

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

January 1986

Consiglio Nazionale delle Ricerche, Biblioteca Centrale, P.le Aldo Moro, 7, ROMA (Italia) / CNR - Co...

Rules and strategies for transforming functional and logic programs

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

January 1995

Published March 1996Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio ...

Correttezza delle trasformazioni dei programmi logici

Etalle, Sandro

January 1996

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

Un formalismo per ragionare sulla semantica dei programmi logici

Meo, Maria Chiara

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore G. LeviConsiglio Nazionale delle Ricerche - ...

Learning logic

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

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

Logiche per l'integrazione di informazioni incerte

Boldrin, Luca

January 1997

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

A general framework for multi-theory logic languages

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

January 1997

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

Linguaggi logici a vincoli su domini finiti: semantica e metodi di trattamento dei vincoli

Nardiello, Giuseppe

January 1996

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

Teoria computabile degli insiemi e programmazione logica

Dovier, Agostino

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore A. PolicritiConsiglio Nazionale delle Ricerc...

Transformation rules for a higher order logic programming language

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

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

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

Combining logic programs and monadic second order logics by program transformation

Fioravanti, F.
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...

The well-founded semantics of logic programs over bilattices: an alternative characterisation

Loyer, Yann
Straccia, Umberto
Consiglio Nazionale delle Ricerche, Pisa (Italy). Istituto di Scienza e Tecnologie della Informazione 'Alessandro Faedo'

January 2003

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

Transformation strategies for deriving on line programs

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

January 1986

Consiglio Nazionale delle Ricerche, Biblioteca Centrale, P.le Aldo Moro, 7, ROMA (Italia) / CNR - Co...

Rules and strategies for transforming functional and logic programs

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

January 1995

Published March 1996Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio ...

Correttezza delle trasformazioni dei programmi logici

Etalle, Sandro

January 1996

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

Un formalismo per ragionare sulla semantica dei programmi logici

Meo, Maria Chiara

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore G. LeviConsiglio Nazionale delle Ricerche - ...

Learning logic

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

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

Logiche per l'integrazione di informazioni incerte

Boldrin, Luca

January 1997

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

A general framework for multi-theory logic languages

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

January 1997

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

Linguaggi logici a vincoli su domini finiti: semantica e metodi di trattamento dei vincoli

Nardiello, Giuseppe

January 1996

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

Teoria computabile degli insiemi e programmazione logica

Dovier, Agostino

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore A. PolicritiConsiglio Nazionale delle Ricerc...

Transformations of logic programs with goals as arguments

Abstract

Extracted data

Transformations of logic programs with goals as arguments

Abstract

Extracted data

Related items

Related items