Meeting of the Association for Symbolic Logic: Auckland, 1986.
Krister SegerbergPublished in: J. Symb. Log. (1988)
Keyphrases
- high level
- logic programming
- modal logic
- database
- databases
- symbolic reasoning
- asynchronous circuits
- symbolic representation
- automated reasoning
- meeting room
- symbolic description
- predicate logic
- classical logic
- multi valued
- data sets
- set theory
- description logics
- formal theory
- programming language
- delay insensitive
- logic synthesis
- search engine
- genetic algorithm