Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2012

Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems

Jérôme Durand-Lose
Laboratoire d'Informatique Fondamentale d'Orléans
Maurice Margenstern
  • Fonction : Directeur scientifique
Laboratoire d'Informatique Théorique et Appliquée
Klaus Sutner
  • Fonction : Directeur scientifique
Department of Computer Science

Domaines

Théorie et langage formel [cs.FL] Logique en informatique [cs.LO]

Jérôme Durand-Lose  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00806285

Soumis le : vendredi 29 mars 2013-17:04:29

Dernière modification le : mercredi 26 octobre 2022-08:11:40

Fichier non déposé

Dates et versions

hal-00806285 , version 1 (29-03-2013)

Identifiants

Citer

Jérôme Durand-Lose, Maurice Margenstern, Klaus Sutner (Dir.). Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems. World Scientific Publishing, pp.1419-1522, 2012, ⟨10.1142/S012905411202008X⟩. ⟨hal-00806285⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS MSL MSL-THESE UNIV-LORRAINE
55 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More