Login / Signup
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