Research

Items by Price, Mark

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2008
Number of items: 2.

2008

Price, M., 2008. Logical Aspects of Logical Frameworks. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-07)

Price, M., 2008. Logical aspects of logical frameworks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

This list was generated on Thu Sep 29 11:16:00 2016 IST.