Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

From our previous work on biochemical applications, the structure of port graph (or multigraph with ports) and a rewriting… Expand

Is this relevant?

2008

2008

The objective of this thesis is to explore formal descriptions for the structure and functioning of biological systems, as well… Expand

Is this relevant?

2008

2008

In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows… Expand

Is this relevant?

2005

2005

Le calcul de reecriture est un lambda-calcul avec filtrage. Cette these est consacree a l'etude de systemes de types pour ce… Expand

Is this relevant?

2004

2004

2004

Theoretical presentations of the @r-calculus often treat the matching constraint computations as an atomic operation although… Expand

Is this relevant?

2003

2003

Abstract A typed model of strategic term rewriting is developed. The key innovation is that generic traversal is covered. To this… Expand

Is this relevant?

2003

2003

A graphic language--the graphic ? calculus--modeling protein interactions at the domain level is introduced. Complexation… Expand

Is this relevant?

Highly Cited

2002

Highly Cited

2002

ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies… Expand

Is this relevant?

2002

2002

This paper presents the design, the implementation, and experiments of the integration of syntactic, conditional possibly… Expand

Is this relevant?