Preface

Thomas A. Henzinger; Dale Miller

Preface

Thomas A. Henzinger
, Dale Miller

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
journal	Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014
état	Publié - 1 janv. 2014
Evénement	Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014 - Vienna, Autriche Durée: 14 juil. 2014 → 18 juil. 2014

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{de543e3d38414b18a0d2b7b05ab84b6c,

title = "Preface",

author = "Henzinger, \{Thomas A.\} and Dale Miller",

year = "2014",

month = jan,

day = "1",

language = "English",

journal = "Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014",

note = "Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014 ; Conference date: 14-07-2014 Through 18-07-2014",

}

TY - JOUR

T1 - Preface

AU - Henzinger, Thomas A.

AU - Miller, Dale

PY - 2014/1/1

Y1 - 2014/1/1

UR - https://www.scopus.com/pages/publications/84905969806

M3 - Editorial

AN - SCOPUS:84905969806

JO - Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014

JF - Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014

T2 - Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014

Y2 - 14 July 2014 through 18 July 2014

ER -