Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity.

Astrid Belder Bas Luttik Jos C. M. Baeten

Published in: CALCO (2019)

Keyphrases

description logics
modal logic
query answering
decision procedures
database
query processing
functional dependencies
real time
neural network
genetic algorithm
inference rules
type checking