1071 search results - page 20 / 215 » The Calculus of Algebraic Constructions |
PPDP
2000
Springer
14 years 1 months ago
2000
Springer
IWFM
2000
13 years 11 months ago
2000
RTA
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
BICOB
2010
Springer
14 years 2 months ago
2010
Springer
In this paper we investigate the structure and representation of n-ary algebras arising from DNA recombination, where n is a number of DNA segments participating in recombination. ...
CALCO
2005
Springer
14 years 3 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...