3 citations · 8 across the 13 of their papers we have counts for
3 papers · 1 filter
Congruence Preservation, Lattices and Recognizability
Patrick Cegielski, Serge Grigorieff, Irene Guessarian
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalenc…
Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes
Marie Ferbus-Zanda, Serge Grigorieff
We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: rando…
ASMs and Operational Algorithmic Completeness of Lambda Calculus
Marie Ferbus-Zanda, Serge Grigorieff
We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any…