scientific article; zbMATH DE number 3982574
From MaRDI portal
Publication:3746935
Recommendations
Cited in
(13)- Tabular verification and refinement
- scientific article; zbMATH DE number 3850303 (Why is no real title available?)
- On enumerating query plans using analytic tableau
- From Tessellations to Table Interpretation
- New Lilliefors and Srinivasan tables with applications
- scientific article; zbMATH DE number 4039354 (Why is no real title available?)
- scientific article; zbMATH DE number 14020 (Why is no real title available?)
- scientific article; zbMATH DE number 1552522 (Why is no real title available?)
- Tableaux for diagnosis applications
- Tableaux for functional dependencies and independencies
- Edges and tableaux
- Dual tableaux. Foundations, methodology, case studies
- Tableau complexes
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746935)