A nice property of the semi naive evaluation of recursive rules is that it does not repeat rule rings in di erent iterations In a recent study W however it was observed that intermediate steps during a rule ring may be repeated in di erent iterations and a notion of the step wise semi naive property and an evaluation with this property were proposed to capture the semi naive prop erty at interm...

We present a simple q-gram based semi-index, which allows to look for a pattern typically only in a small fraction of text blocks. Several space-time tradeoffs are presented. Experiments on Pizza & Chili datasets show that our solution is up to three orders of magnitude faster than the Claude et al. [4] semi-index at a comparable space usage.

We generalize the coincidence semi-index introduced in [D-J] to pairs of maps between topological manifolds. This permits extending the Nielsen theory to this class of maps. Introduction. In this paper we generalize the coincidence semi-index theory, introduced in [D-J] in the smooth case, to pairs of maps between topological manifolds. It will be based on the topological transversality lemma (...