The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Bellia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Marco Bellia
    Retractions: A Functional Paradigm for Logic Programming. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:260-275 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Marco Bellia
    Logic and Functional Programming by Retractions. [Citation Graph (0, 0)][DBLP]
    ITA, 1988, v:22, n:3, pp:271-310 [Journal]
  12. 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]
  13. 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]
  14. 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.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002