Вы здесь

Tucker J. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Theory of computation over Stream Algebras, and its Applications 1992 Tucker J. V., Zucker J. I. Lecture Notes in Computer Science 17.09.1992
СТ Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms 1993 Stoltenberg-Hansen V., Tucker J. V. Lecture Notes in Computer Science 11.06.1993
СТ Algebraic Models and the Correctness of Microprocessors 1993 Harman N. A., Tucker J. V. Lecture Notes in Computer Science 29.06.1993
СТ Process Algebra with Asynchronous Communication Mechanisms 1984 Bergstra J. A., Klop J. W., Tucker J. V. 20.06.1995
СТ Applications of Computability Theory over Abstract Data Types 1989 Tucker J. V. J.W. de Bakker, 25 Jaar Semantiek 04.10.1995
СТ Algebraic models of microprocessors. Architecture and organisation 1996 Harman N. A., Tucker J. V. Acta Informatica 20.09.1996