Items where Author is "Berger, Martin"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Berger, Martin and Tratt, Laurence (2010) Program logics for homogeneous meta-programming. In: 16th International Conference on Logic for programming Artificial Intelligence and Reasoning (LPAR-16), April 25-May 1, 2010, Dakar, Senegal.

This list was generated on Sun Aug 31 04:03:08 2014 IST.