CINECA IRIS Institutional Research Information System

BELLIA, MARCO Statistiche

BELLIA, MARCO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 66 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 1-gen-1984 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
A Functional Plus Predicate Logic Programming 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
A functional plus predicate programming language 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
A Two-Level Approach to Logic plus Functional Programming Integration 1-gen-1987 Bellia, Marco; Bosco, Giovanni; Giovannetti, E.; Levi, Giorgio; Moiso, C.; Palamidessi, C.
A Variable free calculus for Equational Programming 1-gen-1990 Bellia, Marco; Occhiuto, MARIA EUGENIA
Ambienti integrati per la produzione del software 1-gen-1980 Ambriola, Vincenzo; Bellia, Marco; Degano, Pierpaolo
An Interactive Assistant System for Proving Program Properties 1-gen-1980 Bellia, Marco
An Interactive Assistant System for Proving Program Properties 1-gen-1982 Bellia, Marco
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 1-gen-2003 Bellia, Marco; Occhiuto, MARIA EUGENIA
Another PRAM algorithm for finding connected components of sparse graphs 1-gen-1999 Bellia, Marco; Occhiuto, MARIA EUGENIA
Applicative communicating processes in first order logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
Applicative Communicating Processes in First Order Logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, Maurizio
C-expressions: A variable free calculus for equational Logic Programming 1-gen-1993 Bellia, Marco; Occhiuto, MARIA EUGENIA
C-expressions: a variable-free calculus for equational logic programming 1-gen-1993 Bellia, Marco; Occhiuto, MARIA EUGENIA
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 1-gen-1990 Bellia, Marco; Bugliesi, M.; Occhiuto, MARIA EUGENIA
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 1-gen-1990 Bellia, Marco; M., Bugliesi; Occhiuto, MARIA EUGENIA
Distributed Control, Modularity and Data Types in a simple Parallel Language 1-gen-1977 Bellia, Marco; Levi, G.
DNA Tiles, Wang Tiles and Combinators 1-gen-2013 Bellia, Marco; Occhiuto, MARIA EUGENIA
DNA Tiles, Wang Tiles and Combinators 1-gen-2014 Bellia, Marco; Occhiuto, MARIA EUGENIA
From Object Calculus to Java with Passing and Extraction of Methods 1-gen-2006 Bellia, Marco; Occhiuto, MARIA EUGENIA