Comments on "Delayed Universal Logic Modules and Sequential Machine Synthesis".
SureshchanderPublished in: IEEE Trans. Computers (1978)
Keyphrases
- multi valued
- logic synthesis
- classical logic
- functional programs
- turing machine
- logic programming
- program synthesis
- search algorithm
- building blocks
- modular structure
- asynchronous circuits
- neural network
- recursive programs
- rule engine
- proof theory
- automated reasoning
- flowshop
- data sets
- functional modules
- logical framework
- linear logic
- sequential data
- parallel machines
- modal logic
- information systems
- sound and complete axiomatization