Separating Markov's Principles - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

Separating Markov's Principles

Domaines

Logique en informatique [cs.LO]
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)

Yannick Forster  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04584831

Soumis le : jeudi 23 mai 2024-13:32:02

Dernière modification le : vendredi 8 novembre 2024-16:32:05

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA CDF INRIA2 PSL
163 Consultations
145 Téléchargements

Altmetric

Partager

More