A Timing Refinement of Intuitionistic Proofs and Its Application to the Timing Analysis of Combinational Circuits

Вы здесь

Автор:

Mendler M.

Количество экземпляров:

Колл. автор:

Univ.Passau

Вид:

Препринт

Год:

1995

Ключевые слова:

логика

анализ

схема

Стр.:

26 p.

Библиография:

Bibliogr.: p.22-23.

Место издания:

Passau

Номер:

MIP-9518

Карточка:

В3.14, Б2.13, Б2.14.

Mendler M..

A Timing Refinement of Intuitionistic Proofs and Its Application to the Timing Analysis of Combinational Circuits-Passau., 1995.-26 p.-(Препринт Univ.Passau №MIP-9518).
Bibliogr.: p.22-23.

Таблица в старой библиотеке:

PREP2 311