Abstract Vicious Circles in Rewriting Systems (2009)
Jeroen Ketema, Jan Willem Klop, Vincent Van Oostrom, Van Oostrom
We continue our study of the difference between Weak Normalisation (WN) and Strong Normalisation (SN). We extend our earlier result that orthogonal TRSs with the property WN do not admit cyclic...
Abstract Vicious Circles in Rewriting Systems (2008)
Jeroen Ketema, Jan Willem Klop, Vincent Van Oostrom, Van Oostrom
We continue our study of the difference between Weak Normalisation (WN) and Strong Normalisation (SN). We extend our earlier result that orthogonal TRSs with the property WN do not admit cyclic...
Abstract WRS 2004 Preliminary Version Vicious Circles in Orthogonal Term Rewriting Systems (2008)
Jeroen Ketema, Jan Willem Klop, Vincent Van Oostrom, Van Oostrom
In this paper we first study the difference between Weak Normalization (WN) and Strong Normalization (SN), in the framework of first order orthogonal rewriting systems. With the help of the Erasure...
Transition System Specifications in Stalk Format With Bisimulation as a Congruence (1994)
A many-sorted variant, called stalk format, of the single sorted tyft-format for transition system specifications, introduced by Groote and Vaandrager, is proposed. The stalk format is shown to be a...
Factors influencing the cortisol responsiveness of salmonid cells in culture--[microform]. (1991)
Thesis (M.Sc.)--University of Waterloo, 1990.