Towards a Verification Logic for Rewriting Logic.

José Luiz Fiadeiro T. S. E. Maibaum Narciso Martí-Oliet José Meseguer Isabel Pita

Published in: WADT (1999)

Keyphrases

modal logic
logic programming
asynchronous circuits
proof theory
automated reasoning
computational properties
sound and complete axiomatization
verification method
database
nonmonotonic logics
digital circuits
predicate logic
formal theory
probabilistic logic
integrity constraints
neural network
databases