Layer Systems for Proving Confluence.

Bertram Felgenhauer Aart Middeldorp Harald Zankl Vincent van Oostrom

Published in: ACM Trans. Comput. Log. (2015)

Keyphrases

logic programs
databases
neural network
data structure
management system
computational intelligence
image processing
image segmentation
video sequences
distributed systems
learning systems
complex systems