Separating Markov's Principles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

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⟩
27 Consultations
40 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More