Current topics in informatics systems research

Front Cover
Siberian Division of the USSR Academy of Sciences, Institute of Informatics System, 1991 - Computers - 179 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Preface
2
fully abstract model and complete axiomatization
38
Sabelfeld V K Equivalent transformations for recursion schemes
61

11 other sections not shown

Common terms and phrases

Bibliographic information