Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
A Type Theory for to Reiter's Regression
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Research Reports: 2000 - 2008
A Type Theory for to Reiter's Regression
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Research Reports: 2000 - 2008
A Type Theory for to Reiter's Regression
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
A Type Theory for to Reiter's Regression
View/
Open
RR-06-02.pdf (371.3Kb)
Series
Department of Computer Science Research Reports;RR-06-02 - April 2006
ISSN
1470-5559
Metadata
Show full item record
Authors
White, Graham
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/5055
Collections
Department of Computer Science Research Reports: 2000 - 2008
[56]