Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Rho calculus

Known as: Calculus (disambiguation), Rewriting calculus 
The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.
Wikipedia

Papers overview

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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
 
Is this relevant?
2004
2004
Theoretical presentations of the @r-calculus often treat the matching constraint computations as an atomic operation although… Expand
  • figure 1
  • figure 2
Is this relevant?
2003
2003
  • Ralf Lämmel
  • J. Log. Algebraic Methods Program.
  • 2003
  • Corpus ID: 2858613
Abstract A typed model of strategic term rewriting is developed. The key innovation is that generic traversal is covered. To this… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 8
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
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2002
2002
This paper presents the design, the implementation, and experiments of the integration of syntactic, conditional possibly… Expand
  • figure 2
  • figure 6
  • table I
Is this relevant?