A logic for reflective ASMs.

Klaus-Dieter Schewe Flavio Ferrarotti Senén González

Published in: Sci. Comput. Program. (2021)

Keyphrases

active shape model
logic programming
modal logic
classical logic
digital circuits
predicate logic
automated reasoning
databases
information retrieval
face recognition
knowledge representation
formal theory
asynchronous circuits
linear logic
proof theory