Вы здесь

Главная

Corradini A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 2003 Baldan P., Corradini A., Montanari U., Ribeiro L. Lecture Notes in Computer Science 14.01.2004
СТ Bisimulation Equivalences for Graph Grammars 2002 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 14.03.2002
СТ Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 2000 Baldan P., Busi N., Corradini A., Pinna G. M. Lecture Notes in Computer Science 15.09.2000
СТ Functorial Semantics for Multi-algebras 1999 Corradini A., Gadducci F. Lecture Notes in Computer Science Lecture Notes in Computer Science 27.08.1999
СТ Unfolding and Event Structure Semantics for Graph Grammars 1999 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 02.04.1999
СТ Concatenable Graph Processes: Relating Processes and Derivation Traces 1998 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 11.08.1998
СТ An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 1998 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 18.04.1998
СТ Rational Term Rewriting 1998 Corradini A., Gadducci F. Lecture Notes in Computer Science 18.04.1998
СТ CPO models for infinite term rewriting 1995 Corradini A., Gadducci F. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Relating Two Categorical Models of Term Rewriting 1995 Corradini A., Gadducci F., Montanari U. Lecture Notes in Computer Science 27.04.1995
СТ An Algebraic Semantics of Logic Programs as Structured Transition Systems 1990 Corradini A., Montanari U. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ A Categorical Model for Logic Programs: Indexed Monoidal Categories 1993 Corradini A., Asperti A. Lecture Notes in Computer Science 11.06.1993
СТ Term Rewriting in CT 1993 Corradini A. Lecture Notes in Computer Science 26.05.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Algebra and Coalgebra in Computer Science: Proc./4th International Conference, CALCO 2011, Winchester, UK, August/September 2011 2011 Lecture Notes in Computer Science
  1. Corradini A.
  2. Klin B.
  3. Cirstea C.
 18.10.2011
СБ Recent Trends in Algebraic Development Techniques: Revised Selected Papers/19th International Workshop, WADT 2008. Pisa, Italy, June 2008 2009 Lecture Notes in Computer Science
  1. Corradini A.
  2. Montanari U.
 21.11.2009
СБ Graph Transformations: Proc./Third International Conference, ICGT 2006. Natal Rio Grande de Norte, Brazil, September 2006 2006 Lecture Notes in Computer Science
  1. Corradini A.
  2. Ehrig H.
  3. Montanari U.
  4. Ribeiro L.
 11.01.2007
СБ Graph Transformation: Proc./First Intern. Conf., ICGT 2002, Barcelona, Spain, October 2002 2002 Lecture Notes in Computer Science
  1. Corradini A.
  2. Ehrig H.
  3. Kreowski H. -J.
  4. Rozenberg G.
 30.10.2002