|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Bellia, M. Eugenia Occhiuto |
Properties of Java Simple Closures.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
Methods as Parameters: A Preprocessing Approach to Higher Order in Java. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
Higher order Programming in Java: Introspection, Subsumption and Extraction. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
N-axioms Parallel Unification. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
Lazy Linear Combinatorial Unification. |
J. Symb. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
Suprema of Open and Closed Formulas and Their Application to Resolution |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
C-Expressions: A Variable-Free Calculus for Equational Logic Programming. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto |
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia |
Logic and Functional Programming by Retractions: Operational Semantics. |
ITA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia |
Logic and Functional Programming by Retractions. |
ITA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi |
A Two-Level Approach to Logic plus Functional Programming Integration. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia |
Retractions: A Functional Paradigm for Logic Programming. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
Predicative and functional languages, symbolic expressions, lambda_calculus, Horn clause theories, Herbrand terms, computable sets, relations, retractions |
| 1 | Marco Bellia, Giorgio Levi |
The Relation between Logic and Functional Languages: A Survey. |
J. Log. Program. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli |
LEAF: A Language which Integrates Logic, Equations and Functions. |
Logic Programming: Functions, Relations, and Equations |
1986 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli |
On the Integration of Logic Programming and Functional Programming. |
SLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli |
Applicative communicating processes in first order logic. |
Symposium on Programming |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia, Giorgio Levi |
Distributed Control, Modularity and Data Types in a Simple Parallel Language. |
International Computing Symposium |
1977 |
DBLP BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")