Structured contextual rewriting [chapter]

Qian Zhenyu
1987 Lecture Notes in Computer Science  
FB 3 M a t h e m a t i k / I n f o r m a t i k , University of B r e m e n D-2800 B r e m e n 33, Fed. Rep. of G e r m a n y UUCP: unidolubrinf!qian Abstract In this paper, we develop a m e c h a n i s m , which we call structured contextual system, (SCS for short,) to deal with some non-finitely-based algebraic specifications. The sufficient condition for c o n f l u e n c e and t e r m i n a t i o n of this kind of s y s t e m s is also considered, based on a g e n e r a l i z a t i o n of the a p p o a c h by O'Donell.
doi:10.1007/3-540-17220-3_15 fatcat:5rjf3q7eu5ddfiihmm5qnbz3a4