The lattice of data refinement (English)
National licence
- New search for: Wright, J.
- New search for: Wright, J.
In:
Acta Informatica
;
31
, 2
;
105-135
;
1994
- Article (Journal) / Electronic Resource
-
Title:The lattice of data refinement
-
Contributors:Wright, J. ( author )
-
Published in:Acta Informatica ; 31, 2 ; 105-135
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:1994-02-01
-
Size:31 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:Computer Science , Computer Systems Organization and Communication Networks , Software Engineering/Programming and Operating Systems , Data Structures, Cryptology and Information Theory , Theory of Computation , Information Systems and Communication Service , Computational Mathematics and Numerical Analysis
-
Source:
Table of contents – Volume 31, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 105
-
The lattice of data refinementWright, J. et al. | 1994
- 137
-
Geometrical tools to map systems of affine recurrence equations on regular arraysMongenet, Catherine / Clauss, Philippe / Perrin, Guy-René et al. | 1994
- 161
-
Context-free text grammarsEhrenfeucht, A. / Pas, P. / Rozenberg, G. et al. | 1994