Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface

Pavol Černý, Viktor Kuncak, Madhusudan Parthasarathy

Research output: Contribution to journalEditorial

Original languageEnglish (US)
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume202
DOIs
StatePublished - Feb 2 2016
Event4th Workshop on Synthesis, SYNT 2015 - San Francisco, United States
Duration: Jul 18 2015 → …

Fingerprint

Computer science

ASJC Scopus subject areas

  • Software

Cite this

Electronic Proceedings in Theoretical Computer Science, EPTCS : Preface. / Černý, Pavol; Kuncak, Viktor; Parthasarathy, Madhusudan.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 202, 02.02.2016.

Research output: Contribution to journalEditorial

@article{6e26224ad90b4e28a956df039efda5db,
title = "Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface",
author = "Pavol Čern{\'y} and Viktor Kuncak and Madhusudan Parthasarathy",
year = "2016",
month = "2",
day = "2",
doi = "10.4204/EPTCS.202",
language = "English (US)",
volume = "202",
journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
issn = "2075-2180",
publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - Preface

AU - Černý, Pavol

AU - Kuncak, Viktor

AU - Parthasarathy, Madhusudan

PY - 2016/2/2

Y1 - 2016/2/2

UR - http://www.scopus.com/inward/record.url?scp=84991608542&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84991608542&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.202

DO - 10.4204/EPTCS.202

M3 - Editorial

AN - SCOPUS:84991608542

VL - 202

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

SN - 2075-2180

ER -