Login
Admin
Simple search
|
Advanced search
Home
Browse
Latest additions
Help
Contact
Browse by Person (creator, editor, contributor, etc.)
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
|
No Grouping
Jump to:
Conference or workshop item
Number of items:
2
.
Conference or workshop item
Derrick, J.
and
Boiten, E.
and
Bowman, H.
and
Steen, M.
(1996)
Supporting ODP - Translating LOTOS into Z.
In: UNSPECIFIED.
Preview
Preview
Bowman, H.
and
Boiten, E.
and
Derrick, J.
and
Steen, M.
(1996)
Viewpoint consistency in ODP, a general interpretation.
In: UNSPECIFIED.
Preview
Preview
This list was generated on
Wed May 22 01:31:43 2013 BST
.
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
