Specialization of derivations in Hoare-like logic with recursive procedures.

Aida Pliuskeviciene

Published in: SEKE (1994)

Keyphrases

multi valued
logic programming
recursive algorithm
modal logic
classical logic
sound and complete axiomatization
proof theory
epistemic logic
digital circuits
inference rules
computational properties
probabilistic logic
formal theory
knowledge base
databases
logic synthesis
database