A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Structured contextual rewriting
[chapter]
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