Theory of Adaptive Mechanisms. Volume Ii. Selected Topics in Automata Theory

摘要

Contents: Languages between context-free and context-sensitive; Analysis of asynchronous circuits under different delay assumptions; Delay-free asynchronous circuits with constrained line delays; Some topics in the synthesis of asynchronous circuits; and Algorithmic theorem proving.