Decidability Issues for Extended Ping-Pong Protocols.

Hans Hüttel Jirí Srba

Published in: J. Autom. Reason. (2006)

Keyphrases

ping pong
query answering
key issues
description logics
relational databases
databases
information retrieval
information systems
decision trees
open issues
cryptographic protocols