Skip to search formSkip to main contentSkip to account menu

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 (opens in a new tab)

Related topics

Related topics

2 relations
Lambda calculusRewriting

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The regulation of mDia 1 by autoinhibition and its release by Rho K GTP
Formins induce the nucleation and polymerisation of unbranched actin filaments via the formin-homology domains 1 and 2… 
2008
2008
Towards a Sharing Strategy for the Graph Rewriting Calculus
2008
2008
Workshop on Graph Computation Models
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential… 
2005
2005
Progression Markers Receptor and Rho-C as Histamine-Regulated Melanoma Manipulated Histamine Production Identifies Histamine H 2 Phenotypic Profiling of Engineered Mouse Melanomas with Updated
In the present study, the impact of acquired neoplastic L-histidine decarboxylase (HDC) expression, and its direct consequence… 
2005
2005
Botanische Gesellschaften, Vereine, Congresse etc
Herr Rudolf Ra imann iiberreichte im pfianzenphysiologischen Institute der k. k. Universitat in Wien durchgcfiihrte… 
2004
2004
From Rogue to MicroRogue
Review
2001
Review
2001
The rewriting calculus - Part II
The ρ-calculus integrates in a uniform and simple setting first-order rewriting, λ-calculus and nondeterministic computations… 
1998
1998
Towards a Calculus for UML-RT Specifications
The uni ed modeling language UML developed under the coordination of the Object Management Group OMG is one of the most important… 
1997
1997
Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus
1941
1941
Die chemische Untersuchung des Schreckstoffes aus Elritzenhaut
Die vor langerer Zeit in Angriff genommene Arbeit zur Reindarstellung des Elritzen-Schreckstoffes muste unterbrochen werden. Es… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)