Sequential Relational Decomposition

DOI10.1145/3209108.3209203zbMath1497.68173arXiv1903.01368MaRDI QIDQ5094122

Moshe Y. Vardi, Axel Legay, Dror Fried, Joël Ouaknine

Publication date: 2 August 2022

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1903.01368

zbMATH Keywords

synthesis; decomposition; positivity; composition; automatic relations

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q45: Formal languages and automata

68Q01: General topics in the theory of computing

68Q06: Networks and circuits as models of computation; circuit complexity