Decidability of Reachability in Persistent Vector Replacement Systems.

Published in: MFCS (1980)

Keyphrases

database
description logics
computer systems
complex systems
real time
database systems
distributed systems
learning systems
query answering