9 citations · 40 across the 22 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.FL2012★ 1 cited
Combining Insertion and Deletion in RNA-editing Preserves Regularity
E. P. de Vink, H. Zantema, D. Bošnački
Inspired by RNA-editing as occurs in transcriptional processes in the living cell, we introduce an abstract notion of string adjustment, called guided rewriting. This formalism all…
cs.PL2012★ 2 cited
A Rewriting View of Simple Typing
Aaron Stump, Garrin Kimmell, Hans Zantema +1
This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type…
cs.LO2012
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic
Hans Zantema
In this paper we give a criterion by which one can conclude that every reduction of a basic term to normal form has the same length. As a consequence, the number of steps to reach…