PALACE: A Kayout Generator for SCVS Logic Blocks.
Knut M. JustEdgar AuerWerner L. SchieleAlexander SchwafertsPublished in: DAC (1990)
Keyphrases
- multi valued
- modal logic
- proof theory
- logic programming
- classical logic
- defeasible logic
- website
- logical framework
- dynamic logic
- asynchronous circuits
- computational properties
- sound and complete axiomatization
- natural deduction
- epistemic logic
- formal theory
- digital circuits
- data sets
- information retrieval
- neural network