Admissibility in Alt × Alt is undecidable
Résumé
In this note, we prove that admissibility in Alt × Alt is undecidable.
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Philippe Balbiani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03766388
Soumis le : jeudi 1 septembre 2022-09:05:54
Dernière modification le : lundi 20 novembre 2023-11:44:23
Archivage à long terme le : vendredi 2 décembre 2022-18:10:21
Dates et versions
Identifiants
- HAL Id : hal-03766388 , version 1
Citer
Philippe Balbiani. Admissibility in Alt × Alt is undecidable. 2022. ⟨hal-03766388⟩
Collections
55
Consultations
42
Téléchargements