On the (High) Undecidability of Distributed Synthesis Problems (Q5448782)
From MaRDI portal
scientific article; zbMATH DE number 5246145
Language | Label | Description | Also known as |
---|---|---|---|
English | On the (High) Undecidability of Distributed Synthesis Problems |
scientific article; zbMATH DE number 5246145 |
Statements
On the (High) Undecidability of Distributed Synthesis Problems (English)
0 references
7 March 2008
0 references