On Strong Stability and Higher-Order Sequentiality - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

On Strong Stability and Higher-Order Sequentiality

Thomas Ehrhard
Preuves, Programmes et Systèmes
Loic Colson
  • Fonction : Auteur
  • PersonId : 880775
Laboratoire d'Informatique Théorique et Appliquée

Domaines

Logique en informatique [cs.LO]

Thomas Ehrhard  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00527032

Soumis le : dimanche 17 octobre 2010-23:06:25

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

hal-00527032 , version 1 (17-10-2010)

Identifiants

  • HAL Id : hal-00527032 , version 1

Citer

Thomas Ehrhard, Loic Colson. On Strong Stability and Higher-Order Sequentiality. Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France, Jul 1994, Paris, France. pp.103-108. ⟨hal-00527032⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS UNIV-LORRAINE
27 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More