Sequential Relational Decomposition (Q5094122): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q5145318 |
||||||||||||||
label / en | label / en | ||||||||||||||
Sequential Relational Decomposition | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 7298768 | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1497.68172 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
20 January 2021
| |||||||||||||||
Property / publication date: 20 January 2021 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 7298768 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / title | |||||||||||||||
Sequential Relational Decomposition (English) | |||||||||||||||
Property / title: Sequential Relational Decomposition (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1145/3209108.3209203 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2798787028 / rank | |||||||||||||||
Normal rank |
Latest revision as of 10:22, 6 May 2024
scientific article; zbMATH DE number 7298768
Language | Label | Description | Also known as |
---|---|---|---|
English | Sequential Relational Decomposition |
scientific article; zbMATH DE number 7298768 |
Statements
2 August 2022
0 references
20 January 2021
0 references
decomposition
0 references
composition
0 references
automatic relations
0 references
positivity
0 references
synthesis
0 references
Sequential Relational Decomposition (English)
0 references