Clipping: A Semantics-Directed Syntactic Approximation

Dan Ghica, Adam Bakewell

Research output: Contribution to conference (unpublished)Paper

3 Citations (Scopus)
Original languageEnglish
Pages189-198
Number of pages10
DOIs
Publication statusPublished - 14 Aug 2009
EventProceedings of 24th Annual IEEE Symposium on Logic In Computer Science (LICS 2009) -
Duration: 14 Aug 2009 → …

Conference

ConferenceProceedings of 24th Annual IEEE Symposium on Logic In Computer Science (LICS 2009)
Period14/08/09 → …

Cite this