output
20062021
most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations

researchers with a paper here
collaborating institutions
Showing 2006Show all

2 papers · 1 filter

math.LO2006

On the additive theory of prime numbers II

Patrick Cegielski, Denis Richard, Maxim Vsemirnov

The undecidability of the additive theory of primes (with identity) as well as the theory Th(N,+, n -> p\_n), where p\_n denotes the (n+1)-th prime, are open questions. As a possib…

cs.DS2006★ 8 cited

Multiple serial episode matching

Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich

In a previous paper we generalized the Knuth-Morris-Pratt (KMP) pattern matching algorithm and defined a non-conventional kind of RAM, the MP--RAMs (RAMS equipped with extra operat…