Presentations of unification in a logical framework

Bibliographic Details
Main Author:	Brown, Jason J.
Published:	University of Oxford 1996
Subjects:	510 Pure mathematics
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337544

id	ndltd-bl.uk-oai-ethos.bl.uk-337544
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3375442015-03-19T10:37:41ZPresentations of unification in a logical frameworkBrown, Jason J.1996510Pure mathematicsUniversity of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337544Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	510 Pure mathematics
spellingShingle	510 Pure mathematics Brown, Jason J. Presentations of unification in a logical framework
author	Brown, Jason J.
author_facet	Brown, Jason J.
author_sort	Brown, Jason J.
title	Presentations of unification in a logical framework
title_short	Presentations of unification in a logical framework
title_full	Presentations of unification in a logical framework
title_fullStr	Presentations of unification in a logical framework
title_full_unstemmed	Presentations of unification in a logical framework
title_sort	presentations of unification in a logical framework
publisher	University of Oxford
publishDate	1996
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337544
work_keys_str_mv	AT brownjasonj presentationsofunificationinalogicalframework
_version_	1716775687355891712

Similar Items