CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 21 a 40 di 51
Titolo Data di pubblicazione Autore(i) File
Linear Unification based on C-expressions 1-gen-1992 Bellia, Marco; Occhiuto, MARIA EUGENIA
C-expressions: A variable free calculus for equational Logic Programming 1-gen-1993 Bellia, Marco; Occhiuto, MARIA EUGENIA
C-expressions: a variable-free calculus for equational logic programming 1-gen-1993 Bellia, Marco; Occhiuto, MARIA EUGENIA
Suprema of Open and Closed Formulas and their Application to Resolution 1-gen-1995 Bellia, Marco; Occhiuto, MARIA EUGENIA
Another PRAM algorithm for finding connected components of sparse graphs 1-gen-1999 Bellia, Marco; Occhiuto, MARIA EUGENIA
Lazy Linear Combinatorial Unification 1-gen-1999 Bellia, Marco; Occhiuto, MARIA EUGENIA
New Bounds in Parallel Unification 1-gen-2001 Bellia, Marco; Occhiuto, MARIA EUGENIA
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 1-gen-2003 Bellia, Marco; Occhiuto, MARIA EUGENIA
N-axioms Parallel Unification 1-gen-2003 Bellia, Marco; Occhiuto, MARIA EUGENIA
Higher Order programming through JAVA Reflection 1-gen-2004 Bellia, Marco; Occhiuto, MARIA EUGENIA
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 1-gen-2005 Bellia, Marco; Occhiuto, MARIA EUGENIA
From Object Calculus to Java with Passing and Extraction of Methods 1-gen-2006 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Pre-processing Approach in Java 1-gen-2007 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: Software 1-gen-2007 Bellia, Marco; Occhiuto, MARIA EUGENIA
A Preprocessor for Java with m-parameters, CS&P'2008 1-gen-2008 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 1-gen-2008 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 1-gen-2009 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: A Translation Semantics for Closures in Java 1-gen-2009 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Type Safety for Java Simple Closures 1-gen-2010 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
Mostra risultati da 21 a 40 di 51
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile