Descriptional Complexity of Formal Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2019

Descriptional Complexity of Formal Systems

Michal Hospodár
  • Fonction : Auteur
  • PersonId : 1059495
Galina Jirásková
  • Fonction : Auteur
  • PersonId : 1011781
Stavros Konstantinidis
  • Fonction : Auteur
  • PersonId : 1024591

Résumé

Book Front Matter of LNCS 11612
Fichier principal
Vignette du fichier
IFIPLNCS11612DL_2019_BookFrontmatter.pdf (205.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02387282 , version 1 (29-11-2019)

Licence

Paternité

Identifiants

Citer

Michal Hospodár, Galina Jirásková, Stavros Konstantinidis. Descriptional Complexity of Formal Systems: 21st IFIP WG 1.2 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings. Springer International Publishing, LNCS-11612, 2019, Lecture Notes in Computer Science, 978-3-030-23246-7. ⟨10.1007/978-3-030-23247-4⟩. ⟨hal-02387282⟩
64 Consultations
141 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More