On Applications of Algorithmic Logic.

Grazyna Mirkowska Andrzej Salwicki

Published in: CAAP (1986)

Keyphrases

logic programming
modal logic
logical framework
multi valued
dynamic logic
proof theory
database
information systems
case study
natural language
expert systems
classical logic
formal language
predicate logic
asynchronous circuits
logic synthesis