Layer Systems for Proving Confluence.

Bertram Felgenhauer Harald Zankl Aart Middeldorp

Published in: FSTTCS (2011)

Keyphrases

artificial intelligence
expert systems
three dimensional
multimedia
intelligent systems
retrieval systems
computer systems
application layer
database
systems require
computing systems
computational models
complex systems
knowledge based systems
access control
website
machine learning
databases
real time