Algorithmic logic with nondeterministic programs.
Grazyna MirkowskaPublished in: Fundam. Informaticae (1980)
Keyphrases
- dynamic logic
- recursive programs
- database
- functional programs
- agent programming
- logic programming
- proof theory
- classical logic
- declarative semantics
- finite state
- automated reasoning
- asynchronous circuits
- set theory
- control program
- digital circuits
- computational properties
- computer programs
- database systems
- information systems
- neural network