Search the dblp DataBase
Marco Bellia :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marco Bellia , Giorgio Levi The Relation between Logic and Functional Languages: A Survey. [Citation Graph (2, 0)][DBLP ] J. Log. Program., 1986, v:3, n:3, pp:217-236 [Journal ] Marco Bellia , Michele Bugliesi , M. Eugenia Occhiuto Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. [Citation Graph (0, 0)][DBLP ] CAAP, 1990, pp:42-56 [Conf ] Marco Bellia , Giorgio Levi Distributed Control, Modularity and Data Types in a Simple Parallel Language. [Citation Graph (0, 0)][DBLP ] International Computing Symposium, 1977, pp:441-450 [Conf ] Marco Bellia , Pier Giorgio Bosco , Elio Giovannetti , Giorgio Levi , Corrado Moiso , Catuscia Palamidessi A Two-Level Approach to Logic plus Functional Programming Integration. [Citation Graph (0, 0)][DBLP ] PARLE (1), 1987, pp:374-393 [Conf ] Marco Bellia , Enrico Dameri , Pierpaolo Degano , Giorgio Levi , Maurizio Martelli Applicative communicating processes in first order logic. [Citation Graph (0, 0)][DBLP ] Symposium on Programming, 1982, pp:1-14 [Conf ] Roberto Barbuti , Marco Bellia , Giorgio Levi , Maurizio Martelli On the Integration of Logic Programming and Functional Programming. [Citation Graph (0, 0)][DBLP ] SLP, 1984, pp:160-166 [Conf ] Marco Bellia Retractions: A Functional Paradigm for Logic Programming. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1987, pp:260-275 [Conf ] Marco Bellia , M. Eugenia Occhiuto Higher order Programming in Java: Introspection, Subsumption and Extraction. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2005, v:67, n:1-3, pp:29-44 [Journal ] Marco Bellia , M. Eugenia Occhiuto N-axioms Parallel Unification. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:55, n:2, pp:115-128 [Journal ] Marco Bellia , M. Eugenia Occhiuto Suprema of Open and Closed Formulas and Their Application to Resolution [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:117, n:1, pp:136-150 [Journal ] Marco Bellia Logic and Functional Programming by Retractions. [Citation Graph (0, 0)][DBLP ] ITA, 1988, v:22, n:3, pp:271-310 [Journal ] Marco Bellia Logic and Functional Programming by Retractions: Operational Semantics. [Citation Graph (0, 0)][DBLP ] ITA, 1988, v:22, n:4, pp:395-436 [Journal ] Marco Bellia , M. Eugenia Occhiuto Lazy Linear Combinatorial Unification. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1999, v:27, n:2, pp:185-206 [Journal ] Marco Bellia , M. Eugenia Occhiuto C-Expressions: A Variable-Free Calculus for Equational Logic Programming. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:107, n:2, pp:209-252 [Journal ] Search in 0.002secs, Finished in 0.002secs