Separating Markov's Principles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2024

Separating Markov's Principles

Fichier principal
Vignette du fichier
cohen-forster-kirst-paiva-rahli-separating-markovs-principles-lics24.pdf (810.45 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04584831 , version 1 (23-05-2024)

Licence

Copyright

Identifiers

Cite

Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli. Separating Markov's Principles. 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '24), Jul 2024, Talinn, Estonia. ⟨10.1145/3661814.3662104⟩. ⟨hal-04584831⟩
0 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More