Keyphrases
- logic programming
- database
- database systems
- multi valued
- concurrent programming
- computational properties
- neural network
- conjunctive queries
- modal logic
- data flow
- automated reasoning
- classical logic
- rewriting systems
- rewriting rules
- asynchronous circuits
- logical framework
- query rewriting
- concurrency control
- np complete
- databases