| 2008 |
|---|
| 17 | EE | Marco Bellia,
M. Eugenia Occhiuto:
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
Fundam. Inform. 85(1-4): 35-50 (2008) |
| 2005 |
|---|
| 16 | EE | Marco Bellia,
M. Eugenia Occhiuto:
Higher order Programming in Java: Introspection, Subsumption and Extraction.
Fundam. Inform. 67(1-3): 29-44 (2005) |
| 2003 |
|---|
| 15 | EE | Marco Bellia,
M. Eugenia Occhiuto:
N-axioms Parallel Unification.
Fundam. Inform. 55(2): 115-128 (2003) |
| 1999 |
|---|
| 14 | | Marco Bellia,
M. Eugenia Occhiuto:
Lazy Linear Combinatorial Unification.
J. Symb. Comput. 27(2): 185-206 (1999) |
| 1995 |
|---|
| 13 | | Marco Bellia,
M. Eugenia Occhiuto:
Suprema of Open and Closed Formulas and Their Application to Resolution
Inf. Comput. 117(1): 136-150 (1995) |
| 1993 |
|---|
| 12 | | Marco Bellia,
M. Eugenia Occhiuto:
C-Expressions: A Variable-Free Calculus for Equational Logic Programming.
Theor. Comput. Sci. 107(2): 209-252 (1993) |
| 1990 |
|---|
| 11 | | Marco Bellia,
Michele Bugliesi,
M. Eugenia Occhiuto:
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.
CAAP 1990: 42-56 |
| 1988 |
|---|
| 10 | | Marco Bellia:
Logic and Functional Programming by Retractions.
ITA 22(3): 271-310 (1988) |
| 9 | | Marco Bellia:
Logic and Functional Programming by Retractions: Operational Semantics.
ITA 22(4): 395-436 (1988) |
| 1987 |
|---|
| 8 | | Marco Bellia,
Pier Giorgio Bosco,
Elio Giovannetti,
Giorgio Levi,
Corrado Moiso,
Catuscia Palamidessi:
A Two-Level Approach to Logic plus Functional Programming Integration.
PARLE (1) 1987: 374-393 |
| 7 | | Marco Bellia:
Retractions: A Functional Paradigm for Logic Programming.
TAPSOFT, Vol.2 1987: 260-275 |
| 1986 |
|---|
| 6 | | Roberto Barbuti,
Marco Bellia,
Giorgio Levi,
Maurizio Martelli:
LEAF: A Language which Integrates Logic, Equations and Functions.
Logic Programming: Functions, Relations, and Equations 1986: 201-238 |
| 5 | | Marco Bellia,
Giorgio Levi:
The Relation between Logic and Functional Languages: A Survey.
J. Log. Program. 3(3): 217-236 (1986) |
| 1984 |
|---|
| 4 | | Roberto Barbuti,
Marco Bellia,
Giorgio Levi,
Maurizio Martelli:
On the Integration of Logic Programming and Functional Programming.
SLP 1984: 160-166 |
| 3 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Implementations of Prolog 1984: 309-326 |
| 1982 |
|---|
| 2 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
Applicative communicating processes in first order logic.
Symposium on Programming 1982: 1-14 |
| 1977 |
|---|
| 1 | | Marco Bellia,
Giorgio Levi:
Distributed Control, Modularity and Data Types in a Simple Parallel Language.
International Computing Symposium 1977: 441-450 |
