Admissibility in Alt × Alt is undecidable - Logique, Interaction, Langue et Calcul Access content directly
Preprints, Working Papers, ... Year :

Admissibility in Alt × Alt is undecidable

Abstract

In this note, we prove that admissibility in Alt × Alt is undecidable.
Fichier principal
Vignette du fichier
UNDECIDABILITY.pdf (150.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03766388 , version 1 (01-09-2022)

Identifiers

  • HAL Id : hal-03766388 , version 1

Cite

Philippe Balbiani. Admissibility in Alt × Alt is undecidable. 2022. ⟨hal-03766388⟩
31 View
24 Download

Share

Gmail Facebook Twitter LinkedIn More