Comparing Böhm-Like Trees (2009)
Extending the infinitary rewriting definition of Böhm-like trees to infinitary Combinatory Reduction Systems (iCRSs), we show that each Böhm-like tree defined by means of infinitary rewriting can...
Vicious circles in rewriting systems (2004)
Ketema, J., Klop, J.W., Oostrom, V. Van
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...
Software ENgineering Vicious circles in rewriting systems (2004)
J. Ketema, J. W. Klop, V. Van Oostrom, Jeroen Ketema
CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a founding member of ERCIM, the...
J. Ketema, J. W. Klop, V. Van Oostrom, Jeroen Ketema
Netherlands Organization for Scientific Research (NWO). CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented...