scientific article; zbMATH DE number 7437710
From MaRDI portal
Publication:5014443
zbMath1476.68072arXiv1509.03016MaRDI QIDQ5014443
Publication date: 2 December 2021
Full work available at URL: https://arxiv.org/abs/1509.03016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- World-set decompositions: Expressiveness and efficient algorithms
- Fixed point theorems and semantics: A folk tale
- Dependence and independence
- A lattice-theoretical fixpoint theorem and its applications
- Size Bounds for Factorised Representations of Query Results
- Software Product Line Engineering
This page was built for publication: