Вы здесь

Corradini A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Categorical Model for Logic Programs: Indexed Monoidal Categories 1993 Corradini A., Asperti A. Lecture Notes in Computer Science 11.06.1993
СТ 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
СТ 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
СТ Bisimulation Equivalences for Graph Grammars 2002 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 14.03.2002
СТ CPO models for infinite term rewriting 1995 Corradini A., Gadducci F. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Concatenable Graph Processes: Relating Processes and Derivation Traces 1998 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 11.08.1998
СТ 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
СТ 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
СТ Rational Term Rewriting 1998 Corradini A., Gadducci F. Lecture Notes in Computer Science 18.04.1998
СТ Relating Two Categorical Models of Term Rewriting 1995 Corradini A., Gadducci F., Montanari U. Lecture Notes in Computer Science 27.04.1995
СТ Term Rewriting in CT 1993 Corradini A. Lecture Notes in Computer Science 26.05.1993
СТ Unfolding and Event Structure Semantics for Graph Grammars 1999 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 02.04.1999