Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012: Foreword

Nachum Dershowitz*

*Corresponding author for this work

Research output: Contribution to journalEditorial

Original languageEnglish
Article number6280486
Pages (from-to)x-xi
JournalProceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
DOIs
StatePublished - 2012
Event2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 - Dubrovnik, Croatia
Duration: 25 Jun 201228 Jun 2012

Cite this