Expansion for Universal Quantifiers

Sergueï Lenglet, Joseph Brian Wells

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProgramming Languages and Systems
Subtitle of host publication21st European Symposium on Programming, ESOP 2012
PublisherSpringer
Pages456-475
Number of pages20
ISBN (Electronic)978-3-642-28869-2
DOIs
Publication statusPublished - 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7211
ISSN (Print)0302-9743

Cite this

Lenglet, S., & Wells, J. B. (2012). Expansion for Universal Quantifiers. In Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012 (pp. 456-475). (Lecture Notes in Computer Science; Vol. 7211). Springer. https://doi.org/10.1007/978-3-642-28869-2_23