A ground-complete axiomatization of stateless bisimilarity over Linda.

Luca Aceto Eugen-Ioan Goriac Anna Ingólfsdóttir

Published in: Inf. Process. Lett. (2015)

Keyphrases

complete axiomatization
inclusion dependencies
databases
database
neural network
database systems
data management