CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 141
Titolo Data di pubblicazione Autore(i) File
Specifying highly concurrent data structure manipulation 1-gen-1983 Corradini, Andrea; Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Taxonomic Reasoning 1-gen-1986 Attardi, Giuseppe; Corradini, Andrea; Diomedi, S.; Simi, Maria
Transition Systems with Algebraic Structure as Models of Computations 1-gen-1990 Corradini, Andrea; Ferrari, GIAN-LUIGI; Montanari, U.
An Algebraic Semantics of Logic Programs as Structured Transition Systems 1-gen-1990 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Transition Systems with Algebraic Structure as Models of Computations 1-gen-1990 Corradini, Andrea; Ferrari, GIAN-LUIGI; Montanari, UGO GIOVANNI ERASMO
Towards a Process Semantics in the Logic Programming Style 1-gen-1990 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Logic Programming as Hypergraph Rewriting 1-gen-1991 Corradini, Andrea; Rossi, F; Parisi Presicce, F.
An Algebraic Representation of Logic-Program Computations 1-gen-1991 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Graph Grammars and Logic Programming 1-gen-1991 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO; Rossi, F; Ehrig, H; Loewe, M.
An Algebra of Graphs and Graph Rewriting 1-gen-1991 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Towards innovative software engineering environments 1-gen-1991 Ambriola, Vincenzo; Ciancarini, P; Corradini, Andrea; DE FRANCESCO, Nicoletta
AN ALGEBRAIC SEMANTICS FOR STRUCTURED TRANSITION-SYSTEMS AND ITS APPLICATION TO LOGIC PROGRAMS 1-gen-1992 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
CHARM: Concurrency and Hiding in an Abstract Rewriting Machine 1-gen-1992 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
Term Rewriting in CT-Sigma 1-gen-1993 Corradini, Andrea
A Categorial Model for Logic Programs: Indexed Monoidal Categories 1-gen-1993 Asperti, A; Corradini, Andrea
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming 1-gen-1993 Corradini, Andrea; Rossi, F.
An Abstract Machine for Concurrent Modular Systems: CHARM 1-gen-1994 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
Abstract Graph Derivations in the Double Pushout Approach 1-gen-1994 Corradini, Andrea; Ehrig, H; Loewe, M; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine 1-gen-1994 Corradini, Andrea; Wolz, D.
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 1-gen-1994 Corradini, Andrea; Ehrig, H; Lowe, M; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
Mostra risultati da 1 a 20 di 141
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