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 2006 · math.LOShow all

1 paper · 2 filters

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…