1 citations · 1 across the 6 of their papers we have counts for
4 papers · 1 filter
Word-Mappings of level
G. Sénizergues
Sequences of numbers (either natural integers, or integers or rational) of level have been defined in \cite{Fra05,Fra-Sen06} as the sequences which can be comput…
FREC 14: FRontiers of RECognizability
Géraud Sénizergues
These proceedings are gathering twelve different research papers developping the theory of recognizability for various kinds of discrete objects: words. terms, graphs, etc...
Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness
Géraud Sénizergues
We construct an example of proof within the main formal system from arXiv:1010.4760v3, which is intended to capture the bisimulation equivalence for non-deterministic first-order g…
Bottom-up rewriting for words and terms
Irene Durand, Geraud Senizergues
For the whole class of linear term rewriting systems, we define \emph{bottom-up rewriting} which is a restriction of the usual notion of rewriting. We show that bottom-up rewriting…