On a Hierarchy of File Types and a Tower of Their Theories

Andrzej Salwicki. On a Hierarchy of File Types and a Tower of Their Theories. In Andrzej Tarlecki, editor, Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Volume 520 of Lecture Notes in Computer Science, pages 47-63, Springer, 1991.

Abstract

Abstract is missing.