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