Closure and Decision Properties for Higher-Dimensional Automata

Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Krzysztof Ziemiański

doi:10.1007/978-3-031-47963-2_18

Communication Dans Un Congrès Année : 2023

Closure and Decision Properties for Higher-Dimensional Automata

(1) , (1) , (1) , (2)

1
2

Amazigh Amrane

Fonction : Auteur

Laboratoire de Recherche de l'EPITA

Hugo Bazille

Fonction : Auteur
PersonId : 1370212
IdHAL : hugo-bazille
ORCID : 0009-0000-4920-3819

Laboratoire de Recherche de l'EPITA

CV

Uli Fahrenberg

Fonction : Auteur
PersonId : 1311
IdHAL : ulifahrenberg
ORCID : 0000-0001-9094-7625
IdRef : 156246252

Laboratoire de Recherche de l'EPITA

Krzysztof Ziemiański

Fonction : Auteur

University of Warsaw

Domaines

Théorie et langage formel [cs.FL]

Fichier principal

amrane.23.ictac.pdf (315.86 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Edwin Carlinet : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04580362

Soumis le : dimanche 19 mai 2024-23:37:32

Dernière modification le : jeudi 31 octobre 2024-14:33:00

Dates et versions

hal-04580362 , version 1 (19-05-2024)

Identifiants

HAL Id : hal-04580362 , version 1
DOI : 10.1007/978-3-031-47963-2_18

Citer

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański. Closure and Decision Properties for Higher-Dimensional Automata. 20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23), Dec 2023, Lima, Peru. ⟨10.1007/978-3-031-47963-2_18⟩. ⟨hal-04580362⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

5 Consultations

9 Téléchargements

Closure and Decision Properties for Higher-Dimensional Automata

Domaines

Dates et versions

Identifiants

Citer

Exporter

Altmetric

Partager