Expansion for Universal Quantifiers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	21st European Symposium on Programming, ESOP 2012
Publisher	Springer
Pages	456-475
Number of pages	20
ISBN (Electronic)	978-3-642-28869-2
DOIs	https://doi.org/10.1007/978-3-642-28869-2_23
Publication status	Published - 2012

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7211
ISSN (Print)	0302-9743

Access to Document

@inproceedings{0f4b296a808f4bc4b9bd7deccdea79a1,

title = "Expansion for Universal Quantifiers",

author = "Sergue{\"i} Lenglet and Wells, \{Joseph Brian\}",

year = "2012",

doi = "10.1007/978-3-642-28869-2\_23",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "456--475",

booktitle = "Programming Languages and Systems",

}

TY - GEN

T1 - Expansion for Universal Quantifiers

AU - Lenglet, Sergueï

AU - Wells, Joseph Brian

PY - 2012

Y1 - 2012

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

U2 - 10.1007/978-3-642-28869-2_23

DO - 10.1007/978-3-642-28869-2_23

M3 - Conference contribution

AN - SCOPUS:84859139699

T3 - Lecture Notes in Computer Science

SP - 456

EP - 475

BT - Programming Languages and Systems

PB - Springer

ER -